Thread:Gaarmyvet/@comment-3125844-20140709165217/@comment-1114229-20140709170902

From Wikipedia, I think that's right. They're pretty careful at WP about including "bot" in a bot's username then providing a link to the responsible editor.