SSH Key type `ed25519-sk` (and `ecdsa-sk`)

SSH Key type ed25519-sk (and ecdsa-sk)
Today I noticed by coincidence that (recent versions of;
e.g. the one available on Fedora Silverblue 34) ssh-keygen
have ed25519-sk (and ecdsa-sk) key types (-t).
Never having seen these before, I wondered what they were for…
It is explained e.g. on https://security.stackexchange.com/questions/240991/what-is-the-sk-ending-for-ssh-key-types, and in the chapter “FIDO/U2F Support” on https://www.openssh.com/txt/release-8.2.
This is very nice, as it much simplifies the much too complicated old ways of using gpg-agent to SSH with a YubiKey.

