Skip to content

Remove outdated info from download.html

Hi there,

This removed outdated information from download.html.

Just removing all this is admittedly a coarse stroke, in the sense that some information could be replaced by more relevant one. But it is a starting point and I'd be happy to revise this PR in a second pass.

Merge request reports