Theia API Documentation v1.65.0
    Preparing search index...
    onDidChangeNotebookCellExecutionState: Event<
        NotebookCellExecutionStateChangeEvent,
    >

    todo@API this is an event that is fired for a property that cells don't have and that makes me wonder how a correct consumer works, e.g the consumer could have been late and missed an event?