> > One nit is that you mix RFC8538 and RFC 8538, it would be nice to stick
> > to one spelling.
> 
> Yes. Undecided which way I should spell RFC references. I think I should
> walk over the tree and make all RFC8538 (without the space). What you
> think?

I find the version with space easier to read and prefer it because of
that. It's what we use in most comments in rpki-client and all comments
and manpages of libcrypto and libssl.

There's also that rfc snippet that theo quoted, but that confuses me
due to its lowercase must.