If we've got some decent rate limiting for the bot requests (for example, 100 requests per minute per server), we can probably release this bot for the public.
As the servers are still added manually through pull requests, there shouldn't be any issue as long as we have < 100 servers.