Bruce Momjian <pgman@candle.pha.pa.us> writes:
> What about the *.txt extension? Do we want that or remove it? I would
> prefer its removal.
I agreed with the point about making those files easily editable.
I'm not dead set on it, but I don't see what we gain by not having
the .txt there --- we still have to document a different file name
and different location than is the case on Unix.
regards, tom lane