Afterthoughts following the world's first BADcoin purchase/sale