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