It’s right there under New. I’m not sure how long it has been there!
Unfortunately it doesn’t appear to let you change any parameters, so you’re “stuck” with ed25519.
You also can’t paste in an existing key, which is what I was expecting to be able to do.
So what are the security ramifications of this? I’ve always subscribed to the idea that SSH keys identify a machine and I generate new ones for every machine. That allows me to turn off a machine without losing the access from other machines.
All that said, it would be really handy to make SSH keys more like a person identifier and use the same one across machines. Is this how it’s intended?