BaseX version: 9.2.4

Release date: July 26, 2019