Late June 2017 release

June 22, 2017

We have a new release online. As you may see from the GitHub-Tracker, we have worked on a lot of tickets and added a lot of new terms.

Thanks for all your contributions. Let us know if you have further suggestions!