Removed now-obsolete BOT_VERSION