Hi!
I just sent a status update about our bad relays work to tor-relays[1]. It's focused on relay operators which is why I chose that list but, in case you are not reading it, I thought sending at least a note to this list as well as that mail essentially concerns network health questions (too).
Georg
[1] https://lists.torproject.org/pipermail/tor-relays/2020-April/018356.html
network-health@lists.torproject.org