* Add plugin and initial `es` translation
* Add missing features to plugin
* Translate home page and sponsors
* Add language selector and widen nav
* Fix mobile style and language selector
* Add js helper file
* Update header.css
* translate footer
- Add Linux ARM builds for 4.2 beta5 and later
- Add an override for previous releases to remove Linux ARM builds.
- Add an override for early 4.0 alphas to remove non-existent .NET builds.
Every available release is now mirrored on GitHub, so we can
finally update the mirror list and the download archive
to point there, which offers better download speeds for
users.
Also added all release dates to the versions file.
- Make downloads data-driven, create a database of versions;
- Add a custom plugin to generate download URLs;
- Use the new plugin for the regular downloads page as well.
