I notice that the rfc-index.xml files uses identifiers of this form:
<rfc-entry>
<doc-id>RFC0004</doc-id>
<!-- ... -->
<doi>10.17487/RFC0004</doi>
</rfc-entry>Will these change when the 10,000th RFC is published? If so, how will that be managed? Cheers, -- Mark Nottingham https://www.mnot.net/ _______________________________________________ rfc-interest mailing list -- [email protected] To unsubscribe send an email to [email protected]
