whitespace [ci skip]
Hide "download" checkbox in user options dialog (fixes #388)

Also concerns #387. [ci skip]