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.
