Why is this guy allowed to be on the leaderboards when he was accused of abusing and mistreating his ex girlfriend?

https://twitter.com/___Geronim0/status/1284551992795262976 https://twitter.com/flyingfoxsrc/status/1284584813610008576

Normally I would not care and I actually advocate not removing the times, but there was already a precedent set to remove abusers when Dr.Fatbody was removed from anonymous claims without evidence