(Aside: I think this thread is unrelated enough to tor-dev at this point
that I'm going to make this my last reply.)
_______________________________________________ tor-dev mailing list tor-dev@xxxxxxxxxxxxxxxxxxxx https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-dev