Ah, ich denke, es ist jetzt nicht mehr festgefahren. Ich habe versucht:
/var/discourse/launcher enter app
redis-cli flushall
was nicht zu funktionieren schien, also habe ich dies versucht:
und nach einem erzwungenen Seiten-Refresh sieht es jetzt gut aus. (Möglicherweise hätte ich diesen erzwungenen Seiten-Refresh auch nach der ersten, einfacheren Methode versuchen sollen.)