- https://www.yubico.com/blog/github-now-supports-ssh-security...
- https://developers.yubico.com/SSH/Securing_SSH_with_FIDO2.ht...
- https://developers.yubico.com/SSH/
The second link describes the advantages/disadvantages of non-resident vs. resident keys.