Implementing #757. -txt now generates the corresponding text file and tries to show the result in the terminal. '-o txt' only generates the text file.