Bitcoin double-spend detected ($21)

Great and very comprehensive writeup of what happened at

https://insights.deribit.com/market-research/was-there-a-bit...

Wait that's not what double spend means?