Maybe worth adding a comment in the code?  If it seems likely that someone might think they should do network-initiated-deregistration here (as they clearly did), it would be useful to comment why not.