Re: [basex-talk] BaseX performance 7.x vs 8.x