We have a PDF document copy of every page of our website.

I propose that we stop doing that. There are various reasons.

It makes it difficult to search, because one keeps hitting
the PDF documents as well as the html pages.

Due to issue https://issues.apache.org/jira/browse/FOR-1077
every PDF document is changed each time someone re-generates
some other part of the website. This creates a lot of noise
with the commit diffs making it difficult to oversee real changes.

We aleady demonstrate this ability with the PDF Plugin's own
website and also with our example site on our zone server.
Also the "sample" document on the main website has a
demo http://forrest.apache.org/dtdx/document-v20.html#presentations

So i plan to go ahead and remove that soon, unless people
speak up with concerns.

-David