Re: Patch for user-emacs-directory

[Richard Stallman]

    * I didn't try to update the docs.

Someone should do that before this is installed.  However, for
simplicity, the user's manual should continue to refer principally to
the directory's normal name, rather than the variable.  The manual
should mention once or twice that a variable controls the directory
name, as a side point.