BaseX version: 9.4.1

Release date: July 26, 2020