So push notifications are not even part of the code of Nostr apps to avoid getting users tracked; good to know.