fido_cred_exclude(3) on Linux

The text 720884009120, as Debian 11 (Bullseye) shipped it.

appends a credential ID to a credential's list of excluded credentials

fido_cred_exclude(3) on Linux now