Re: [basex-talk] BaseX 10.5: Patch Release