OK, so 25 blocks got orphaned, that's 25 times 25 BTC = 625BTC (or approx $29K at the time of the event) that miners worked hard for, and did not get paid for.
It's actually about half of that. About half of those people shouldn't have found blocks and only did because the person who should have mined the block was working on the other chain.
Regardless, he does have a good point in that these miners which were on 0.8 did make a monetary sacrifice, while it wasn't them which were using a buggy software in the first place, but precisely those which were on the older version.
I believe those pools which got their blocks in the 0.7 after the fork should donate perhaps half of the bitcoins they've generated up until the end of the fork to those who got orphaned for mining in 0.8 and then downgraded.
It would be a noble display of gratitude, since those in 0.7 were using "bad software" and those in 0.8 agreed on downgrading just to keep the network as a whole.