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

On 06.07.22 14:30, Matthias van de Meent wrote:
> If we're going to change this anyway, could we replace 'user name'
> with 'username' in the connection documentation? It irks me to see so
> much 'user name' while our connection parameter is 'username', and we
> use the username of the OS user, not the OS user's (display) name - or
> at least, that's how it behaved under Linux last time I checked.

This might make sense if you are referring specifically to the value of 
that connection option, and you mark it up accordingly.  Otherwise, the 
subtlety might get lost.