Last-minute changes before the release
mostly documentation, minor renamings
Authored by: Ulf Lorenz 2018-12-24
Parent: [75c8a4]
Child: [1e7bff]