Ah yeah. Procedurally, how to handle this? I already got an email that it was sent to the RFC editor. I can probably just try to remember to ask them to add it when they ask for last comments.
Just email the RFC editor to add the name to the acknowledgments and point to this diff and jsg’s mail in last-call. Sprinkling praise never hurts and they know it. CC the responsible AD on this
Ah yeah. Procedurally, how to handle this? I already got an email that it was sent to the RFC editor. I can probably just try to remember to ask them to add it when they ask for last comments.