Yubico/yubikey-personalization https://github.com/Yubico/yubikey-personalization/issues