https://ubuntuhandbook.org/index.php/2022/05/manage-gnome-extensions-ubuntu-2204/