BaseX version: 9.2.3

Release date: July 5, 2019