Re: [PATCH] rankmirrors: add --max-time option