ssh_pki_export_privkey_base64: ED25519 Private key

Hello,

I have an ED OpenSSH private key. I am trying to convert the private key from the OpenSSH format to PEM. I do this by calling ssh_pki_import_privkey_file and ssh_pki_export_privkey_base64 afterwards. This works well for other OpenSSH key types (e.g. EC). However, for an ED key I get back the OpenSSH base64, even though it's a little bit different, but that doesn't matter.

I inspected the source code and my question is: why is ssh_pki_openssh_privkey_export called just for ED? I tried calling pki_private_key_to_pem for the ED key instead and it worked just like I wanted. I assume it's intended, may I just know why or if there is another way around to generate PEM from an OpenSSH Private key?

Kind regards, Roman.