BaseX version: 9.3.2

Release date: March 10, 2020