[tor-commits] [torspec/master] Minor fixup now that a number has been assigned to vanguard proposal.