Reported by Eliot himself…

On 04.02.2022 11:15, Christian Grün wrote:
> This is related to an older open issue on GitHub [1]; I hope I can fix
> it with BaseX 10.
>
> Best,
> Christian
>
> [1] https://github.com/BaseXdb/basex/issues/1172
> <https://github.com/BaseXdb/basex/issues/1172>
>
>
>
>
>
> Eliot Kimber <eliot.kimber@servicenow.com
> <mailto:eliot.kimber@servicenow.com>> schrieb am Fr., 4. Feb. 2022, 01:54:
>
>     I think this is a bug:

…