Changes in KaarPux version 4.8.5

There is no KaarPux version 4.8.5: the release process was borked (due to a missing documentation check-in).