When did this start working? Did they backport IPv6-style addressing, or did I just never know this?

Thanks! I'd forgotten that 1.1 and 1.1.1 resolve. I'll not infrequently ping 1.1.1.1.1 with overzealous typing. That will, alas, not resolve.