Does a NIP make sense for push notifications or should app devs just host a relay and send notifications based on that relay’s activity? Thoughts?