[tor-commits] [torspec/master] Remove now empty section 4.1, and renumber sections.