That was quite the gift to the community. Seeing many names fade/deleted off the leaderboards since the first initial ban hit back on Dec 11th 2019.
Now if only they could actually figure out what the botters are doing and just end that for good. One can dream.
HK