Re: [basex-talk] setting global options