It’s worth noting that Luke would be a prime target for nation state hackers from DPRK and the likes.
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.