fido_dev_set_timeout(3) on Linux

The text a63dfe12a25e, as Arch Linux 2026-11-01, Debian 13 (Trixie), Debian 12 (Bookworm) shipped it. The page shows this text now.

FIDO2 device I/O interface