Links for jupyterlab-logtalk-codemirror-extension