The reason I ask is: what would be the best way to manage user's registrationIds, if it can change over time.
My thinking is that, each time an extension loads, it will send its registrationId to my server. My server will add that registrationId to a set<String> for that user. Then, for each push notification, I will check the success status. If a registrationId's push failed, I will remove that registrationId. Is there a better way to handle this?