BaseX version: 9.3

Release date: Nov. 29, 2019