Fix default mirror URLs, improve option help messages accordingly.