lucas on Nostr: Not relevant to this discussion, but how easily would it be to add push notifications ...Not relevant to this discussion, but how easily would it be to add push notifications for all other logged in accounts? Thanks