[tor-commits] [tor/master] Tweaks on last process-launch patches