"David G. Johnston" <[email protected]> writes:
> On Friday, September 25, 2026, Daniel Gustafsson <[email protected]> wrote:
>> 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?
It's perfectly good English as-is, and offhand I don't think using
"this" would be an improvement. It's been a long time since high
school English, but I think that "that" is actually more correct;
in context I'd take "this user" to mean your own operating-system
user ID, which was mentioned first. Note that the next sentence also
uses "that user" to refer to the same database user.
regards, tom lane
