The problem with ReplyGuy is that he's aware of my policies and actively circumventing them. So I figured out his IP and blocked it, but... Ditto also ingests posts from other relays, and those relays are getting hit by his spam and not blocking it, so it's filtering down to us from there.