Add Mike's and my HotPETs reports. [(diff)][1] [1]: https://trac.torproject.org/projects/tor/wiki/doc/TechReports?action=diff&version=7 URL: https://trac.torproject.org/projects/tor/wiki/doc/TechReports?version=7