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