Rather than changing TCP, we could just make web browsers query SRV records to see what port to connect to. Then you could host 65535 websites on the same IP address, without requiring any software in the middle to check Host/ALPN/SNI. (The web is moving to UDP anyway with HTTP/3. Not saying the web is the only important part of the Internet, but it's a big one.)
IPv6 is kind of over the major adoption hurdle of rewriting all software to understand it. Nearly all software understands it. I'm not sure anyone really has the appetite for that again.
People like to make fun of ipv6 adoption rates but I'm pretty sure we'll all be dead and dust before srv becomes much more than a niche curiosity. It has similar chicken and egg problems but much less financial motivation behind it.
IPv6 is kind of over the major adoption hurdle of rewriting all software to understand it. Nearly all software understands it. I'm not sure anyone really has the appetite for that again.