keychat on Nostr: Hi, the push server needs to know the user's receiving address and device ID in order ...Hi, the push server needs to know the user's receiving address and device ID in order to send push notifications to the user.