Ubuntu 23.04にアプデしてから、しばらくGnomeのバージョンの問題で使えない拡張機能があって微妙に不便していたんですが、私の使ってる範囲では概ね対応が追いつきましたね。使い慣れた環境に戻ることができ快適です。開発者の皆様に感謝