Just to keep this topic alive and out of personal interest: Jannis/Samuel, what is the status of a possible buildbot server? Biju/Brian, anyone news on the snapshots script? Or are there other plans? Nick