[basex-announce] Release BaseX 7.5 – The BaseXMas Edition