On Friday, September 25, 2026, Daniel Gustafsson <[email protected]> wrote:
> > 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. > Probably, but wouldn’t saying “this user” instead of “that user” be equally correct without making the word “that” serve two roles in the paragraph and produce this annoying double-that construction? David J.
