[tor-commits] [torspec/master] Add #6411 changes to the spec.