Version 1.8 has been released

New features:
none

Bug fixes:
a number of minor bugs have been fixed. More information is available in the Release Notes.

Existing functionality changes
A number of cosmetic corrections have been introduced. More information is available in the Release Notes.