It should be possible to change Discobot’s username to something else. 
I’ve just given it a run-through again on my test site and it appears to be working:
I followed my advice from above and changed it on the /u/discobot/preferences/account page:
(And confirmed and saved again using the button at the bottom just to be sure)