Re: [basex-talk] get-current-user()