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