[basex-announce] BaseX 10.7: The Summer Edition