On Mon, Oct 14, 2013, at 09:10 AM, Stefano Sabatini wrote: > Please split the patch, cosmetics/rendering and content changes should > go to separate patches. I won't be able to work on this for a while. Second patch dropped. Feel free to apply the first patch if you like (I'm unable to at the moment).