Just to clarify: they don’t have the GPG applet. They can do SSH auth via the new fido2 support, but not via older methods like x509 RSA keys or GPG-as-an-ssh-key
They're the normal "Security Key NFC" version, so just FIDO2/WebAuthn uses. But you can generate FIDO2-based SSH hardware keys on them: https://news.ycombinator.com/item?id=31556130