I'm having a fantastic time playing, really great work you are doing here, a few comments about notifications:
- They can be *really* noisy, maybe group them together over a period of time before sending them
- Notification preferences would be great, like choosing what interval to receive them in or to turn them off entirely
- I feel like I'm receiving duplicate notifications but maybe that's because I can't tell where subs launched from and where they are heading from the notification.