Per Olofsson wrote: > AFAICT they are identical. But maybe I'm missing some small detail. Yes, a < versus <=. :) wdiff is good for finding this kind of thing.