BaseX 7.6

Update from BaseX 7.5