Hi, >Would you mind reviewing the changes now in git and upload again ? > >I was mostly interrested about making it reproducible (i.e: calling zip with "-X"); >but then I went on and refreshed all the other things. > maybe a "Team Upload" is more appropriate, otherwise it is appreciated to see Steven acking such a change :) but Tobi might have a different opinion, I'll leave this to him :) sorry for the noise, Gianfranco