Thanks for clarifying this! So this 25% really is consumer traffic, and Verizon is so high because they default to preferring IPv6 servers when available? That's great news for IPv6 adoption. It's also consistent with what's reported later in the article, about IPv6 prevalence at various other installations.