Theia API Documentation v1.76.0
    Preparing search index...
    AI_GETTING_STARTED_WALKTHROUGH_ID: "ai-features.getting-started" = 'ai-features.getting-started'

    Id of the walkthrough that guides a new user through setting up and using the AI features. Also the argument of the walkthrough.open command.