Whether extensions can be installed or updated manually or by Antigravity. Mutually exclusive to programs.antigravity.profiles.
boolean
(removeAttrs config.programs.antigravity.profiles [ "default" ]) == { }
false
