BaseX version: 9.3.1

Release date: Dec. 19, 2019