Fixed issues

Bugs from previous versions and the version in which they were fixed. Open issues are on the Open issues page.

There are no fixed issues in released versions yet. Changes relative to dev-main builds before 1.0.0 are described in the Changelog.