- Changed HTML export format back to txt.