Links for jupyterhub-editor-extension