BaseX version: 9.5.1

Release date: April 2, 2021