- https://meta.wikimedia.org/wiki/Special:CentralAuth/Ops_Monitor_(WMF)
- https://en.wikipedia.org/wiki/Special:Contributions/Ops_Monitor_(WMF)
It looks like this bot hasn't edited since April 2019. Is it still needed?
It's the only member of a special global user group: https://meta.wikimedia.org/wiki/Special:GlobalGroupPermissions/wmf-ops-monitoring. Maybe this global group can be zapped as well.