Merge pull request #13 from thingthing/3.2

Change default repo reference (closes #3792)
[refs #3809] explain integrity checking for downloaded elements
Merge pull request #14 from txiki31/3.2-A3809

[closes #3809] explain integrity checking for downloaded elements