> Maybe you would like to open a merge request or post it on tor-dev in its > entirety so we can comment? Whatever you prefer. https://gitlab.torproject.org/tpo/core/torspec/-/merge_requests/49 -- https://nusenu.github.io