[hipparchus]

That doesn’t solve the main problem mentioned above: that some notifications from some apps are useful, but they don’t let you fine tune which notifications are permitted and which are disabled: you either get everything, including the marketing / adware notifications, or nothing at all.