~snip~
According to the developer they accidentally deleted the key (not compromised).
~snip~
Wether they really lost their key or wether it got compromised can't be said for sure currently.
They said that they lost the key and not that it was compromised. I think they would be panicking a bit more if the key was actually compromised.
Thats exactly what i have said.
But wether the developer are saying the truth can't be known at this moment.
There are several possibilities on what happened.