Re: [basex-talk] Curious query optimization