Theia API Documentation v1.66.0
    Preparing search index...
    NOTEBOOK_EDITOR_ID_PREFIX: "notebook:" = 'notebook:'