Noting Johannes' irc nick [(diff)](https://trac.torproject.org/projects/tor/wiki/doc/gsoc?action=diff&version=9) URL: https://trac.torproject.org/projects/tor/wiki/doc/gsoc?version=9