As bug https://github.com/BaseXdb/basex/issues/839 has been closed, I tried to upgrade from BaseX7.8 6aeaebf to BaseX beta_4cfa54c.

Unfortunately, this bug still appears in 4cfa54c, and I rolled back again to beta 6aeaebf .

Did I misunderstoog something ?

Cheers