Andreas Pflug <pgadmin(at)pse-consulting(dot)de> writes:
> Is it useful to allow these special chars at all? Seems this creates a
> lot of work, and most admins will probably stick to "normal" user names
> anyway.
Well, the reason it's been left unfixed for so long is exactly that it
didn't seem pressing. But if Chris wants to do the work, I won't stand
in his way ...
regards, tom lane