*** expand-file-name no longer treats `//' or `/~' specially.  It used<BR>
to delete all the text of a file name up through the first slash of
any `//' or `/~' sequence.  Now it passes them straight through.
<P>
substitute-in-file-name continues to treat those sequences specially,
in the same way as before.
<P>