@jupyterlab/extensionmanager-extension