[tor-dev] Tor proposal status (December 2013)