@henrylong/subserver (npm): jump to a html include jump button
Keywords: jupyter|jupyterlab|jupyterlab-extension