BaseX version: 8.5.3

Release date: Aug. 15, 2016