The format of that thread is of a running total. The 20.0001 BTC figure was simply used as an example of how SgtSpike wanted posters to report their lost bitcoins. They're up to
134 582.378 646 59 BTC, just over 1% of the total current bitcoin supply.
Hadn't realised it was still being updated. It looked like OP hadn't updated for a while.