Redact yubikey-personalization

It is a duplicate of ykpers.