Merge the torspec changes of #8929

I made the mistake of not creating a new ticket for the spec changes of #8929 (moved) and instead I just posted them in that same ticket. Unfortunately, they didn't get merged along with the tor.git changes.

Nick, can you please merge branch bug8929_take2 in https://git.torproject.org/user/asn/torspec.git.

Thanks!