For the time being, we'll just package the upstream-generated
manual.pdf, since we can't build the PDF reproducibly ourselves.
The reason we can't is most probably due to the fact that the
LaTeX document embeds other PDF documents and PNG images.
Although we are able to reproduce the PDF's creation and mod
dates, as well as its PDF IDs, the stream elements representing
the embedded images are always what seem to differ each time we
try to generate the PDF.
ba84c34dce