Store downloadable documents (PDFs, images, etc.) used in proofs here.
Files placed in this directory are copied to the built site and can be
linked from pages using paths like /files/your-file.pdf.
Example HTML link:
<a href="/files/example.pdf" download>Download example</a>