story
What happened here was likely a failed attempt to slip a backdoor into bitcoin core, attackers pulled out and took his bitcoins as a consolation prize after he realised his server had been compromised.
The FBI should absolutely be jumping on this, not because of bitcoin, but because of the likely perpetrators.