PuTTYgen: add an extra button to save a public key into a file