Downloaded public key name: should it be the name of the key?

Hello! I'm playing around with specifying the public key in my ~/.ssh/config file and I was surprised by the filename once downloaded. I clicked "Download" for the public key for an SSH item named My Test Key and the filename was id_ed25519.pub. Not a big deal, but I would have expected it to be My Test Key.pub.

---

1Password Version: 8.7.0 80700027 Nightly
Extension Version: Not Provided
OS Version: Regolith (Ubuntu 20.10)