index.html: don't link to the pdf until it's working