[basex-announce] BaseX 8.5.3: Improved thread safety