I'm cheery about this one. The metrics data shows a small increase in lag, but nothing noticeable while browsing. Meanwhile, we have 1.4 million Tor users instead of 500,000. Our anonymity set just tripled.