additional-resources-menu (pypi): A JupyterLab extension.
Keywords: Jupyter|JupyterLab|JupyterLab3