I think that either kTimesG or nomachine stole it. By the way, having $750 k still isn’t enough to be financially independent—maybe that was true 15 years ago. Check out @RetiredCoder: he battled a puzzle for a year and hasn’t spent any of his winnings. Is he stingy, already rich, or just waiting for Bitcoin to hit $1 million? Sorry, I got off-topic. I wouldn’t use Electrum anymore. I’ll soon release a script that lets you generate raw transactions really quickly.