[basex-announce] BaseX 9.3.3: Query optimizations, Bug Fixes