[tor-dev] The Tor git master branch is now 0.2.5.0-alpha-dev