@jupyterlab/settingeditor-extension An extension for JupyterLab which provides a user-editable interface for the JupyterLab settings registry.