Bruce Momjian <pgman(at)candle(dot)pha(dot)pa(dot)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