Yea, it's been spidering the forums for a few days now. I had bots hidden before, but I decided to change it so that they were shown. My favorite is Googlebot, because google is awesome! Hot Bot doesn't submit it stuff to Google though, I'm pretty sure it submits to Inktomi, which is now owned by Yahoo. Yahoo doesn't actually use it though. It's used by dozens of search engines like Msn.com, hotbot.com, about.com, looksmart.com, and overture.com (which is also being bought by Yahoo).