[tor-commits] [doctor/master] Rename metrics-lib downloader.