[tor-dev] Mike's May 2012 Status Report