Maintenance

Changes are being made to how the Discord Bot is hosted. This is so that deployments can be done automatically, like they used to be, ultimately reducing friction and user-input.