Hi Frank (and all), How many people make use of the pkg-tetex-commits list? Should we continue to send full diffs there or abandon it in favour of svn diff? Julian