keygen page updated with new export options, default terminal interface