> On 16 Apr 2022, at 22:26, Tom Lane <tgl@sss.pgh.pa.us> wrote:
> I'm not quite sure what's the point of retail fixes. I could
> get behind removing *all* these occurrences, and then adjusting
> .gitattributes so that git bleats about introducing new ones.
> Other folks might find that a little too obsessive-compulsive,
> though.
If we don't want them in the docs in the first place (which I agree that we
don't), I would prefer them highlighted sooner rather than later.
--
Daniel Gustafsson https://vmware.com/