Further thoughts on push notifications:
Since I live in the Apple universe I try to integrate as many smart home things with HomeKit as possible.
... and that works very well using homebridge.io
Luckily, HomeKit also serves push notifications, so there is currently no need to use Mastodon for that.
Although I‘m happy with the solution, I feel a bit sad because it‘s again a proprietary solution that serves the best experience 🤷🏼♂️
Gemütliche Mastodon-Instanz über dies und das :)