L’ho fatto ripartire. 
Per fare ciò, l’ho reimpostato su ‘Discobot’ sia dalla schermata delle preferenze dell’amministratore che da quella dell’utente (il che non l’ha fatto funzionare), e poi ho cambiato il suo nome dalla sua pagina delle preferenze e mi sono assicurato di premere ‘change’, ‘yes’, e poi Save Changes. Questo l’ha fatto rispondere di nuovo con un nuovo nome. 
Non sono sicuro al 100% di quale sia la correzione cruciale, ma proverò a romperlo e a ripararlo di nuovo alcune volte per vedere se questo rivela qualcosa di nuovo. 