And the difference between "technically correct" and "how things actually work in practice" is what keeps the world turning in the face of slight mismatches. See for example the URI/URL naming war. "URL" is a valid term for URI-like identifiers, even if they aren't locators.

No one (within a rounding error of 0%) will change how they enter, use, or program systems to work with, URLs to use the FQDN. The incompatibility nightmare it would cause would be insurmountable.

I mean, you might be technically correct. I say might because I have no expertise on the matter so I can’t really comment on it. But literally the entire world is using domain names without the final .

So I don’t think pointing out the technicality of how a domain name is supposed to be represented really helps in this context.

Apologies if the term 'pedantic' felt like an insult. It was not intended as one.

But you're not even technically correct when you claim "Eh, not really. It's all a mistake how we interpret domain names."...

This document clearly says that the dotless form is perfectly acceptable and even expected.

Take for example this snippet:

    Relative names are either taken relative to a well known origin, or to a
    list of domains used as a search list.  Relative names appear mostly at
    the user interface, where their interpretation varies from
    implementation to implementation, and in master files, where they are
    relative to a single origin domain name.  The most common interpretation
    uses the root "." as either the single origin or as one of the members
    of the search list, so a multi-label relative name is often one where
    the trailing dot has been omitted to save typing.
    

Which says that relative names are meant to be used in user interface (ie by humans) and the most common interpretation of a dotless name is to be in the global/root namespace.

So yes, the dotless notation comes down to own we interpret domain names. However that interpretation is not a mistake, it is expected.

Can you clarify what system would allow "DOT evil DOT com" to be appended to "good DOT com" but not "evil DOT com" to be appended to "good DOT com DOT"? I'm not familiar with the latter.