Hi all,

I want to merge the branch. I don't have much more time to
improve the code, so all I want to do is fix severe errors.

I think the best way to find out if it works is to do the merge
and see what happens. Unfortunately, I'll not have time to fix
things during the next week, so please test the branch with your
style and let us know if it worked well.

The merge should happen on Monday, June 1.
Alternative: Merge today.

Ciao,
Gerd