[tor-dev] Circuit times