After Generating a Digital Certificate, How Does One Export It?