Hey all, @Ingmar: What about 4.1 here? @Dmitry: Was this a +1 ? Can you commit this once we know about the 4.1 status? I don't want these (almost ready) things to get lost. Patch looks good. Thanks for your efforts, guys. -- greetings, benni. -SDG-