@haha150/jupyterlab_hidemenu (npm): Extension to hide the menu.
Keywords: jupyter|jupyterlab|jupyterlab-extension