Подскажите, пожалуйста, как сделать скрываемую панель задач (Top Bar)?
В идеале хочется, чтобы ее не было видно, пока не наведу на нее мышкой, ну как это реализуется во многих других ОС, типа той же Windows.
В процессе гугления нашел лишь такой вариант extensions.gnome.org/extension/545/hide-top-bar/
Но я не знаю как установить, и какую версию скачивать. На странице этого расширения нашел вроде инструкцию по установке. Но вот на этом моменте

gnome-extensions enable hidetopbar@mathieu.bidon.ca

получил ошибку

Extension “hidetopbar@mathieu.bidon.ca” does not exist

, хотя полностью следовал инструкциям автора. Других каких-то вариантов, к моему, удивлению не нашел. Поиск по этому форуму и по английскому гуглу результатов тоже никаких не дали.