Just to have definitions documented somewhere and for later reference:

1. Devcoin token: An asset released by @knotwork on the Stellar platform: https://bitcointalk.org/index.php?topic=233997.msg35842820#msg35842820
2. Devcoin coin: The original Devcoin, fork of Devcoin 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-stellar
4. "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-255bb6f2142e

- develCuy