ipv6 formatted no longer has all the leading zeros

because it's arguably better this way