Convert PPK ssh key to PEM file

If someone converted a pem file to a ppk and you need the original pem version:

# Install if necessary:
sudo apt install putty-tools

# Convert:
puttygen ppk_file.ppk -O private-openssh -o your_new_pem_file.pem