Actually fetch from the specified mirror when looking it up by IP.

Oops :)

This implied to adjust BASE_URL, and as a consequence to stop using
URI.join since it does not support the case when its first argument has
a non-empty path component.