This is strange, because it is not used anywhere. I suppose you want to patch fileNotebookManager to use it in a separate PR ?