Putty PPK to OpenSSH format on Linux Had to do this today; luckily this post was very useful. Thanks.
