# do not let gdm to disable our extension if it crashes at startup
/org/gnome/shell/disable-user-extensions
