Dovrebbe essere possibile cambiare il nome utente di Discobot in qualcos’altro. 
L’ho appena riprovato sul mio sito di test e sembra funzionare:
Ho seguito il mio consiglio di cui sopra e l’ho cambiato nella pagina /u/discobot/preferences/account:
(E ho confermato e salvato di nuovo usando il pulsante in fondo per essere sicuro)