Hi Patrick, > I think these changes should be pretty uncontroversial. Would someone > with commit authority please apply this for me? thanks for the patch. Applied in commit 89091. Ciao, Duncan.