Randomly choose from mirrors and url

See discussion in issue #25726