Ability to change mirrors easily (currently this functionality is basically broken - user has to click twice, which they probably won't realise)
Example:

• Go to https://downloads.mariadb.org/mariadb/10.5.0/
• A default mirror is pre-selected (bottom right of page), for example, i3D.net - Rotterdam.
• If this mirror is not working, or the user wants to change it, they can click on a new mirror from one of those offered, or click "Show all mirrors" to get a full list
• If the user selects another, for example "PT. Biznet Gio Nusantara", the files reload, and the user will think they are now on the new mirror. However, they are still on the same mirror. They need to click the radio button for the new mirror a second time in order to actually select it.