Links to .ipynb files now correctly point to .html files