Links for doki-theme-jupyter