This allows e.g. gnome-tweak-tool to present these extensions in a different way since they can't be disabled.