Re: [basex-talk] BaseX trace() output