- distinct from #707 Two possibilities: - run pandoc during tests, and make sure index.html is the same. - move the pandoc call into ci, and don't check in index.html at all.