Hi guys, I committed a bunch of patches that had been submitted as pull requests on Github. Unfortunately, I cannot close those pull requests, so I just added a comment to those which have been taken care of. Eelco, I trust you can close them later? Take care, Peter