¡Ah, creo que ya se ha desatascado! Primero intenté:
/var/discourse/launcher enter app
redis-cli flushall
Pero eso no pareció funcionar, así que luego probé esto:
Y tras una recarga forzada de la página, ahora parece que todo está bien. (Quizás debería haber intentado esa recarga forzada después de la primera forma, más sencilla.)