[tor-commits] [torspec/master] Distribute contents of 5.3 to 5.1 and 5.2.