Чтобы установить расширение OSD панели (как предложено во внешней ссылке, о которой вы упоминали), правильно сначала установите chrome-gnome-shell, запустив
sudo apt install chrome-gnome-shell
Затем перейдите на веб-страницу расширения. Вы найдете кнопку переключения. Включите его.
Как только установка будет завершена, вы сможете изменить настройки расширения с помощью (GNOME) Tweaks.