I'm not bothered by bots anymore, so I think I've muted them all by now. Unfortunately, I didn't make a list. 😉