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