Para instalar a extensão Panel OSD (conforme sugerido no link externo que você mencionou) corretamente primeiro instale o chrome-gnome-shell
executando
sudo apt install chrome-gnome-shell
Em seguida, use o link usando o Firefox ou o Google Chrome. A página da Web deve solicitar que você instale um complemento / extensão do navegador, instale-o.
Em seguida, vá para a página da extensão . Você encontrará um botão de alternância. Ligue-o.
Quando a instalação estiver concluída, você poderá alterar as preferências da extensão usando (GNOME) Ajustes .