Hi, Mikael, the stuff about trunk/debian ... is for packaging purposes, right? I guess this will/should be repeated for every "platform" ... if so, wouldn't it be better to put all this under .... trunk/dists ... or something like this? Just a thought Cesc