No mention of gavin woods' sloppy code resulting in 150,000 ether worth of investor funds being lost forever after the polkadot ico?