Bruce Momjian <pgman@candle.pha.pa.us> writes:
> At this point, Andrew, Magnus, and I who deal with Win32 regularly all
> feel *.conf is more logical than *.txt. I have not heard anyone say
> *.txt is better except Tom. Is that enough of a vote?
AFAIR they both said they didn't care; you are the only one who is
exercised about this.
I don't particularly care either, but I do note that Peter already
generated what was supposed to be the final version of the man pages,
and we can't change this without changing those.
Do what you want; I have more important problems to worry about right now.
regards, tom lane