Re: files.el: Patch to make project-settings optional/customizable

[Juanma Barranquero]

> RMS specifically asked that "emacs" not appear in the name.
> He thought it was redundant given the ".el" extension, which, as I
> recall, he asked for.

Even if Dan just implied otherwise, I'm not restarting the discussion,
nor am I proposing changing the name.

But adding a defcustom and letting people customize it to their
hearts' content, that's a good idea, as it is for other packages'
files which we *do* allow to customize.

             Juanma