Earlier quoted context omitted.
Wow, that’s very cool! Do you know how that works? Do they just connect you to a NAT64 gateway of your choice?
IPv4 is provided using DS-Lite or MAP-E depending on the provider. I'm using OpenWRT and paid for a static IP so I had to manually configure all the details for the MAP-E tunnel in OpenWRT myself, I think typically the routers sold to consumers pick up the configuration automatically somehow.
I didn't need to do any configuration for DS-Lite or MAP-E, as DHCPv6 with a configured prefix got IPv6 working, although DNS is still broken when turning off IPv4 entirely.