in reply to Christian Pietsch

That would be neat... But for privacy reasons we do not want to rely on 3rd party do to the location estimation (which is typically done by trying to geolocate IP address).

We had a mirrorbits service before on our server to handle automatically redirecting to estimated closest mirror, and will likely set it up again at some point, but from user perspective it is still better to manually set closest mirror, to avoid unnecessary redirects