Ludovic Courtès writes: > LGTM! Feel free to push this version or an improved one. I think it’s > good to have it in the upcoming release, and if it’s pushed sooner, > we’ll have more time to react in case something’s wrong. I pushed an improved version of the patch to 'master' as commit 1bab9b9f17256a9e4f45f5b0cceb8b52e0a1b1ed. Thanks, Mark