答え1
テーマを変更するだけでなく、システム フォントのサイズを変更したり、画面のスケールを変更したりすることでも曜日名が再び表示されることに気付きました。そこで、恒久的な解決策の 1 つは、次のような起動時に実行されるスクリプトを作成することです。
#!/bin/bash
set -eu
gsettings set org.gnome.desktop.interface text-scaling-factor 2
sleep 10s
gsettings set org.gnome.desktop.interface text-scaling-factor 1
10 秒に設定したのは、それより短い時間では私のラップトップではスクリプトが動作しないからです。システムに応じてこの値を変更できます。