Hi, As expected there was one or two minor issues with 4.0; I'm planning to create a 4.0.1 release over the weekend or early next week, after which we'll also do binary packages. So, you have one or two days left to report 4.0 hickups to bugzilla and have them fixed rapidly! Cheers, Erik