Adapt to recent changes in the NotebookManager API