Sorry, I was incommunicado for most of the day.  Yes, precisely that one.  I've run it on two machines.  On one of them I see just a few discrepancies; on the other I see a whole bunch, but so far as I can tell they are all irrelevant whitespace differences.  (Why they show up on one machine rather than the other is a mystery to me.)