bug#23902: 25.1.50; Strange warning on string-collate-equalp's docstring

[Michael Heerdegen]

Eli Zaretskii <eliz@gnu.org> writes:

> > I think that Glenn is saying that you can compare file names for other
> > purposes than knowing if they name the same file.
>
> Then it's not "equality", it's "equivalence".

Equivalence implies equality of equivalence classes.  These terms depend
on the viewpoint.  Does `file-equal-p' test whether the files named by
the strings are equal, or whether these strings name the same file and
are thus equivalent (Maybe it should be named
`file-names-equivalent-p')?

Michael.