Restarting bot to address issues
Resolved May 10 at 08:55pm CEST
There is an issue with the translations and with the guided ticket setup. A restart will be performed to push updates.