@pancake @dexternemrod fwiw we do have number of push notifications delivered: 12-15 million per month (400-500k per day). Two months ago it was 9-10 million per month. The numbers reflect everyone who uses and opts into Google play, iOS push notifications and uses a chatmail relay. Fdroid users, non-chatmail users, desktop-only users are not reflected in these numbers. Note that push notifications are delivered for each incoming message, so again not easy to draw user numbers from that.