To add a file, upload it to the docs/ folder in the GitHub repo,
then add an entry to the DOCUMENTS array in index.html
(see the comment at the top of the script). Each entry takes about 30 seconds to add.
Supported types: html, pdf.