BaseX version: 9.1.1

Release date: Dec. 14, 2018