While we've just added some text that talks about IPv6, there was recently an I-D published that proposes deprecating them - https://datatracker.ietf.org/doc/draft-herbert-deprecate-eh/. While just an I-D, I wondered if there was any insights that might apply to this doc (i.e., the potential negative effects of greasing this extension).