It's been two and a half months with no reply, so I'm going to guess that 1) I was right, and 2) people have fixed their bots. I'm moving this thread to the Resolved Issues subforum, but if I'm missing something, someone can always post in the moved thread and we can move it back into the main issues forum.