opensarlab-profile-label (pypi): A JupyterLab extension for OpenSARlab that provides the current profile label to the frontend.
Keywords: Jupyter|JupyterLab|JupyterLab3