> I saw on planet Python that the buildbots have currently been shut > down. I guess this makes my question fairly irrelevant for the moment, > then :-( That was a misunderstanding. It was only the community buildbots, and Grig Gheorghiu is working on restoring them. Regards, Martin