Thanks to a Tor MetricsPort feature we requested last August, we now get to see how often we hit Tor Bugs in our Grafana Dashboard :) and there appears to be an issue with this new counter https://gitlab.torproject.org/tpo/core/tor/-/issues/40924