Re: doc: Fix description of how the default user name is chosen

[Peter Eisentraut]

On 01.11.22 22:31, David G. Johnston wrote:

This is the only sentence I claim is factually incorrect, with a suggested re-wording.

committed