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