Ah, acho que está desbloqueado agora. Tentei
/var/discourse/launcher enter app
redis-cli flushall
o que não pareceu funcionar, então tentei isso
e, após uma atualização forçada da página, parece que está tudo bem agora. (Possivelmente eu deveria ter tentado essa atualização forçada da página após a primeira forma, mais simples.)