[tor-commits] [tor/master] make "Launching %d requests for %d routers" message more useful