Re: [basex-talk] console versus gui