GitHub repository: JB1959/jupyterlab-topbar
Description: JupyterLab Top Bar extension