Description

Is the assumption correct that synapse_notifier_users should reflect the number of active user devices at a given time?
Since activating workers, synapse_notifier_users has turned to 0.0, leaving us without this vital measure of server activity.. With 7k+ users atm... 😅 💦
Here's a dump of our metrics.gz..

Steps to reproduce

• enable workers
• check http://localhost:9100/_synapse/metrics
• see synapse_notifier_users 0.0
• wonder

Version information

• Homeserver: https://matrix.tu-dresden.de
• Version: python_version: 3.7.7, server_version: 1.12.3
• Install method: https://github.com/spantaleev/matrix-docker-ansible-deploy
• Platform: debian buster VM