Just to have definitions documented somewhere and for later reference:
1. Devcoin token: An asset issued by @knotwork on the Stellar platform:
https://bitcointalk.org/index.php?topic=233997.msg35842820#msg358428202. Devcoin coin: The original Devcoin, fork of Bitcoin with own blockchain and wallet
3. Devcoin tokens are backed 1:1 by Devcoin coins:
https://peakd.com/devcoin/@satoshi0x/how-to-buy-sell-dvc-using-stellar4. "Burning" coins (note the quotes), as inherited from Bitcoin, there is no way to really burn Devcoin coins, there are only workarounds:
https://medium.com/@alcio/how-to-destroy-bitcoins-255bb6f2142e5. Strategy for releasing Devcoin tokens:
Asset scarcity. Devcoin has already released a huge amount of coins that we can hardly control scarcity at this point. For that reason it is good to create a new asset like the coins, that we can manage better with all the hard learned lessons that came failure after failure. In short, I stay with the idea of releasing new Devcoin tokens bit by bit, rather than releasing millions of them at once or letting things in auto-mode.
- develCuy
I made a how-to for #1. Step-by-step and another followup on Steemit on exchanging those dDVC tokens for DVC with markm.