> It's 2025 and Github—Github!—doesn't support IPv6

Yeah, I wonder why. It's not IPv6's problem though, it's definitely Github's.

Anyway, it's not a good example, since IPv6 is vastly wider than 9-bit variant of IPv4 would have been.