Thanks! You don't have an email-friendly version of that proposal by chance, which one could reply to inline?
there is just the .md file.
You can also comment inline on the md file on gitlab.
Due to David's comment on tor-dev there is a merge request on gitlab: https://gitlab.torproject.org/tpo/core/torspec/-/merge_requests/49
kind regards, nusenu