I think I've found a solution: extract some mirror://-generating code from check-mirror-url and use it in check-mirror-url. Currently trying this out ... Greetings, Maxime.