BaseX version: 8.6.7

Release date: Sept. 21, 2017