Lots of edits to download page, elsewhere