A bot server in the demo, and a getting-started checklist
- The demo panel now has a Discord bot server as well as the Minecraft one, so you can open the Console, Crashes, Logs, Bot settings and Deploys tabs on a real bot before you buy.
- A new bot server shows a short Getting started line above its console: token, code, running, invited to your Discord server. Each step ticks itself, and the line goes away for good once the bot is set up. Hide puts it away sooner.
- Bot servers look up addresses through our own DNS cache first, so a public DNS outage like the one on 28 September no longer stops a bot finding Discord. Each server switches over at its next restart.