Yep, Tor Traffic Really Is Dominated by Botnets and Porn