Comment by david_obrien

That bot is gone now. Thanks for letting me know.