BaseX version: 8.5.2

Release date: July 21, 2016