Peter Eisentraut <peter.eisentraut@enterprisedb.com> writes:
> On 17.06.22 19:52, Josh Soref wrote:
>> ok, are they worth fixing?
> That would require renaming either the output files or the input files,
> and people would really not like either one.
Agreed that renaming those files is not desirable, but the presented
patch was only fixing erroneous/obsolete comments.
regards, tom lane