Amit Langote <Langote_Amit_f8@lab.ntt.co.jp> writes:
> By the way, in this case, is "foo" the name/id of a local user or does it
> really refer to some "foo on the remote server"?
It's the name of a local user. I see your point that somebody might
misread this as suggesting that it's a remote username, but not sure
that there's anything great we can do here to disambiguate that.
regards, tom lane