# Lock the list of mandatory extensions
/org/gnome/shell/enabled-extensions
/org/gnome/shell/development-tools
