pretty.html was a working file, and I should not have committed it.