> On 24 Sep 2026, at 21:58, PG Doc comments form <[email protected]> wrote:
> "that" is duplicated and should be removed. It seems like a correct sentence to me, removing as per your suggestion would AFAICT make it grammatically incorrect. -- Daniel Gustafsson
