Minor release including fixes in code and documentation since v5.3.4.

The configuration file and database schema compatibility is preserved,
which means you don’t have to change anything to update.