Slight update to the download page following issue #826 [ci skip].
Slight update to the download page following issue #826 [ci skip].

mirams/opencor,mirams/opencor,mirams/opencor,mirams/opencor,mirams/opencor