roboweb-extension (pypi): Roboweb JupyterLab extension
Keywords: Jupyter|JupyterLab|JupyterLab3