Basex 7.8.2 -> 7.6