Re: [basex-talk] Performance issue with BaseX CLI