Comment by johnh-hn

Ah, I was wondering about that. Flagging didn't seem like quite the right thing to do, but at the same time I don't see a reason to leave bots hanging around.

Thanks Gary, I'll use that next time.