Meh. There’s also .UK, which is not the country code for the United Kingdom of Great Britain and Northern Ireland… that’s GB.

We also have .EU, so this stuff is all pretty flexible in some sense.