turning off IPv4 ... was harder than I expected it would be

This is followed by reasonable reasons they struggled to unwind themselves from IPv4 (for the experiment) - but eventually got it worked out.

Conversely: When I hotspot from my phone, T-Mobile frequently makes that an IPv6-only experience.