This page has moved to https://developers.yubico.com/yubikey-personalization/doc/Make-Release.html.