6fe466c Use the mirrors instead of pulling directly from dl.

Authored and Committed by bcotton 3 years ago
    Use the mirrors instead of pulling directly from dl.
    
    This speeds up the download considerably, which is nice for our users.
    There is a risk here that some mirrors might not have all of the
    artifacts, but that's a risk that other editions have, too. The risk is
    worth the gain in performance.
    
    Fixes #164