Worth a comment about why `NOT_REGISTERED` means you have to tell the HSS (as `NOT_REGISTERED` is different from `UNREGISTERED`).