Gave up on index.html as a PDF file.