[tor-commits] [torspec/master] Fix section numbers of sections 7 and 9.