Re: [basex-talk] BaseX 9.3.2: Performance Tweaks, Bug Fixes