Il devrait être possible de changer le nom d’utilisateur de Discobot pour autre chose. 
Je viens de le tester à nouveau sur mon site de test et il semble que cela fonctionne :
J’ai suivi mon conseil ci-dessus et l’ai changé sur la page /u/discobot/preferences/account :
(Et je l’ai confirmé et sauvegardé à nouveau en utilisant le bouton en bas, juste pour être sûr)