@thomasfuchs@hachyderm.io They could have just learned from Android's mistakes with those pop-up notification circles that were added a decade ago or so and immediately turned off by every Android user?