Debería ser posible cambiar el nombre de usuario de Discobot por otro. 
Lo he vuelto a probar en mi sitio de prueba y parece que funciona:
Seguí mi consejo de arriba y lo cambié en la página /u/discobot/preferences/account:
(Y confirmé y guardé de nuevo usando el botón de abajo para estar seguro)