And a lot of messaging programs send push notifications for highly dubious reasons, like when you read your own messages (so that the other devices mute their n

And a lot of messaging programs send push notifications for highly dubious reasons, like when you read your own messages (so that the other devices mute their notifications). Element does this.