[tor-commits] [tor/master] Revise bug4413 changes file