[tor-commits] [metrics-lib/master] Download using index.json; implements task-19791.