I wrote up what I thought happened in narrative form here: https://bitcointalk.org/index.php?topic=497289.0 and it shares similarities with the falkvinge article. I think most of the coins were already gone sometime around June 2011.
I liked your write-up Peter, but what happened to the 424242 coins. Are they still largely untouched?