JavaScript APIgrokVariablessettingssettings const settings: Settings Defined in: grok.ts:23 Settings API (settings, shell, dapi, userSettings)