Man pages matching name ykval-export in section 1:

ykval-export.1.en

debian 10 / yubikey-val