Also follow through on renaming main file.

We recently renamed cug-html.html to cug.html, but some nav links
generated by htlatex, multi-page version, pointed to the original.