Since the "Mambots" are now renamed to "Plugin" in Joomla! 1.5 the extensions are now called plugin_* instead of bot_*

Internallay Joomla! still calls them "bots" and that has historical reasons.

So if you ever download a plugin from this site it is in fact a bot