Ah, penso che si sia sbloccato ora. Ho provato
/var/discourse/launcher enter app
redis-cli flushall
che non sembrava funzionare, quindi poi ho provato questo
e dopo un aggiornamento forzato della pagina, ora sembra tutto a posto. (Forse avrei dovuto provare quell’aggiornamento forzato della pagina dopo la prima, più semplice, procedura.)