[tor-commits] [metrics-web/master] Update "Download Release" link on metrics-lib page.