Когда там уже гном 40 выпустят?

Мне вот интересно, разрабы гнома им пользуются без расширений? Или у них всех маки?

Так портируют же, семимильными шагами. В позапрошлые выходные уже полсотни было.

Да ни одно не работает, даже те, где написано что поддерживается сороковой. Вот, например https://extensions.gnome.org/extension/1653/tweaks-in-system-menu/ Оно просто не включается :)