Re: convert-standard-filename's doc

[Richard Stallman]

    Perhaps we could define three functions
    convert-standard-filename-{unix,w32,dos}, and then we could define an
    alias convert-standard-filename which invokes the right function
    depending on the system?

I think this comparatively unimportant detail is sucking up lots of
time from people who are capable of doing much more important and
useful things.  Let's make a small change only, and do it quickly,
and move on to those other things.