Links for godel-jupyter