!747

m {
  !include #1001548 // PKI
  
  p {
    if (!PKI.getStandardPrivateKeyPath().exists() && !PKI.getStandardPublicKeyPath().exists()) {
      print("No standard key pair.");
      ret;
    }
    
    print("Are you sure to delete the key pair? Type DELETE KEYS.");
    if (!match3("delete keys", readLine()))
      return;
      
    PKI.getStandardPrivateKeyPath().delete();
    PKI.getStandardPublicKeyPath().delete();
    
    print("Done!");
 }
}

Began life as a copy of #1001558