As long as Reddit is ip4 only, ip4 won't go anywhere...
I'm running the NAT64 myself, but it could be done by the ISP just fine, at which point they wouldn't need to provision me with a v4 address. There are major ISPs out there that do exactly this (for example T-Mobile in the US).