@parente/jupyterlab-quickopen (npm): Quickly open a file in JupyterLab by part of its name
Keywords: jupyter|jupyterlab|jupyterlab-extension