Documents for OpenPGP Smart Card mini driver