arma's advisory [(diff)](https://trac.torproject.org/projects/tor/wiki/TorWeeklyNews/2013/5?action=diff&version=23) URL: https://trac.torproject.org/projects/tor/wiki/TorWeeklyNews/2013/5?version=23