Re: RTBH no_export

[Randy Bush]

> One more thing, RFC7999 has category Informational

and what exactly do you think that means.  in ietf terms, it is a formal
spec which does not specify a protocol.  it is still a formal spec.

randy