2019-05-23 Saving the Terminal to HTML