Man pages matching name fido_dev_set_pin in section 3:

fido_dev_set_pin.3.en	debian 11 / libfido2-doc
fido_dev_set_pin.3.en	debian 12 / libfido2-doc