That's what I've been doing.
I think somewhere around 19 that I muted… and not all were named replyguy, some just replied with the same format
Oddbean new post about login | logout