In the case of a private key exposure, the only possible fix is to tell everyone to stop trusting that key. That's exactly what happened here.
In the case of a private key exposure, the only possible fix is to tell everyone to stop trusting that key. That's exactly what happened here.