Hi, I read this over the weekend as well, but as I found out through a colleague, this is only about the OpenPGP part. That doesn't make it much better, but most of the Yubikey firmware has been non-free all along. That is something that did not get mentioned in some of the debates. Happy hacking! Florian