Where is the guide to redeem ETC as a DGD holder at Block #3,800,000? | digix

Where is the guide to redeem ETC as a DGD holder at Block #3,800,000?

https://github.com/DigixGlobal/etc-redemption/blob/master/guide/GUIDE.md