Hi Tino, > Thank you for your patch. It looks good to me. If you also submit a > patch for the documentation, I'll gladly apply both to the 3.10 branch. Please apply this to trunk instead, as 3.10 should only get fixes (and we are releasing 3.10.0 this evening!). Cheers