#Chatbots How to Recover from Deployment Hell – What I Learned After My Discord Bot Crashed on a 1,000+ User Server