Great news. $110,000 from Russia to find and (although they did not intend it) patch Tor bugs. Thanks, Putin!