BaseX version: 8.2.3

Release date: July 14, 2015