@jupyterlab/documentsearch-extension (npm): JupyterLab - Document Search Extension
Keywords: jupyter|jupyterlab