An extension for JupyterLab which provides an entry point and commands for the @jupyterlab/docmanager package.