Hey, > Diogo, do you want to send out another revision? Otherwise it's time to > get these patches merged. I would keep them as is, unless you see anything that should really be improved before merging. Best regards, Diogo