And no, his point is not about "an extension exists". His point is that the argument about IPv6 solving all the NAT issues with permanent issues is irrelevant because IPv6 addresses aren't permanent.
Which is also missing the point because it's not about my device having 2a02:390:79ef:0:37d:5e95:3b6d:eaa8 IP forever, it's about having any reachable IP which I can tell to my peer and they can connect to it for the next 15 minutes or so.