[tor-relays] Tor Relay Deployment Dilemma: Single 40Gbps Server or Four 10Gbps Machines?