Just curious: Are these patterns somewhere described? (e.g. Apple's or Google's Doc on deviceTokens/registrationIDs) ? 

If so, would be nice to link to the documentation (incase the change it in the future)