Ya lo tengo funcionando de nuevo. 
Para ello, lo restablecí a ‘Discobot’ tanto desde la pantalla de administración como desde la de preferencias del usuario (lo cual no hizo que funcionara), y luego cambié su nombre desde su página de preferencias y me aseguré de pulsar ‘cambiar’, ‘sí’ y luego Guardar Cambios. Esto ha hecho que responda de nuevo a un nuevo nombre. 
No estoy 100% seguro de cuál es la solución crucial, pero voy a intentar estropearlo y arreglarlo de nuevo un par de veces para ver si eso revela algo nuevo. 