Was the bitcoiner that recently died in jail a dev?