Changes since the last release

These changes are on the way and ship with the next release.

• The user manual has its own website, with search, a version menu and, under Download PDF, a printable copy of every version.