All changes are documented in the file "docs/changes.html".
