[basex-talk] BaseX 8.0.1: Minor Patches