Есть ли альтернатива расширению gnome3 desktop-profile-manager?

Я ищу способ легко менять профили между тремя средами с разными настройками монитора, я регулярно подключаю свой ноутбук.

В настоящее время у меня есть 3 файла monitors.xml, которые я переключаю каждый раз через cli, но это расширение: https://extensions.gnome.org/extension/688/display-profile-manager/

выглядит идеально для моего варианта использования, но больше не поддерживается.

Какие-нибудь известные альтернативы?