Suggested change to DEREGISTRATION procedure

In section 3.4 the ENRP draft states "If the ENRP server fails to find any record of the PE in its handlespace, it SHOULD consider the de-registration granted and completed."

I think a better behavior could be suggested by replacing the above sentence with the following "If the ENRP server fails to find any record of the PE in its handlespace, it SHOULD consider the de-registration granted and completed, and send an ASAP_DEREGISTRATION_RESPONSE message to the PE."

The reason for this suggested change is in the first case if no response is sent in return (which is possible), the PE would timeout on waiting for a response and initiate a server hunt, establish a new home, and attempt de-registration with another ENRP server (If this fails, it would try again). This would result in extra messaging within an RSerPool system that could be avoided. 

Thanks
Walter