[Valodim]

Rfc9580 is not a proposal anymore, it's a published RFC.

(I suppose strictly speaking it's still a "proposed standard" vs "internet standard", but so is basically everything else)