[basex-announce] BaseX 7.0.1: Release early, release often..