[ipv6-wg] Ripe 554 bis = ripe 772 has been published