[ipv6-wg] Looking for info on IGP choices in production dual-stack networks