BaseX version: 9.4.6

Release date: Jan. 7, 2021