Es sollte möglich sein, den Benutzernamen von Discobot in etwas anderes zu ändern. 
Ich habe es gerade noch einmal auf meiner Testseite durchlaufen lassen und es scheint zu funktionieren:
Ich habe meinen Rat von oben befolgt und es auf der Seite /u/discobot/preferences/account geändert:
(Und zur Sicherheit noch einmal mit der Schaltfläche unten bestätigt und gespeichert)