We should probably refund our portion of this guy's mistake.  It seems the decent thing to do. (If we haven't already.)

https://bitcointalk.org/index.php?topic=372725.msg3985766#msg3985766

Someone was nice enough to do the calculations of the refund amounts here.

https://bitcointalk.org/index.php?topic=18313.msg4011536#msg4011536