BaseX version: 9.4

Release date: July 14, 2020