[tor-commits] [torspec/main] fix some logic errors and typos in specs+proposals