Yes, bots were renamed to API Tokens 🙂