Fixes #9073: add note to homepage about download differences
Merge branch '3.0.0-wip' into gh-pages