Здравствуйте. Может кто подскажет, есть ли аналог этого, но работающего расширения?
https://extensions.gnome.org/extension/2114/order-gnome-shell-extensions/