BaseX version: 8.5

Release date: July 5, 2016