そうなん？
Extention も追加して欲しいわ。
設定関連で、Settings, tweaks, Extention と分かれるのアホかなと思ってる。
ついでに、うちのDebian testing (Gnome 43)で Applications Menu がエラーで動かんの悲しい。