On 17.06.22 19:52, Josh Soref wrote:
> Peter Eisentraut <peter.eisentraut@enterprisedb.com> wrote:
>> I think it was never a goal to absolutely make them match all the time,
>> so a lot of the differences might be accidental.
>
> 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.