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 M...