[tor-dev] maint-0.4.2 is now a separate branch; master is now 0.4.3.x