Hello Wouter & Joost,What is the state of this bug? I don't understand a thing about the underlying problem, but would expect some documentation addition/patch.
Does any of you with enough context have sufficent time to write the relevant text?
*t (going a bit through the release-notes bugs) -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

