Deve ser possível alterar o nome de usuário do Discobot para outra coisa. 
Acabei de testá-lo novamente no meu site de teste e parece estar funcionando:
Segui meu conselho acima e o alterei na página /u/discobot/preferences/account:
(E confirmei e salvei novamente usando o botão na parte inferior, apenas para ter certeza)