Revert links to sourceforge, and merge from beta.
Merging new documentation display developments, including unzipped files and improved http headers.