Default to utf8 again
Add toc.html as an output of `make html`