Ich habe ihn wieder zum Laufen gebracht. 
Dazu habe ich ihn sowohl über die Admin- als auch über die Benutzereinstellungen auf ‘Discobot’ zurückgesetzt (was ihn nicht zum Laufen brachte) und dann seinen Namen auf seiner Einstellungsseite geändert und sichergestellt, dass ich auf ‘ändern’, ‘ja’ und dann Änderungen speichern klicke. Das hat ihn dazu gebracht, wieder auf einen neuen Namen zu reagieren. 
Ich bin mir nicht zu 100 % sicher, was die entscheidende Lösung ist, aber ich werde versuchen, ihn ein paar Mal kaputt zu machen und wieder zu reparieren, um zu sehen, ob das etwas Neues offenbart. 