Re: RFC 9234 (BGP roles) possible bug