Reimar Döffinger writes: > I thought it might make sense to point out that diff can help remove > cosmetics... what do you think? > I never really tried these options, maybe somebody can test if that > works as expected before applying this ;-) Good idea, applied. Diego