Removes references to the github downloads page from the downloads tab
of the website, seeing as that feature has been removed from github.
Adds missing semicolon to documentation.js.