[basex-announce] Release BaseX 7.3