Manually fix indentation of index.html
Propagate <nav> update to “references.html”