It seems there are three different use cases. 1) Typing and storing words as plain-text. Two spaces seem unnecessary. 2) Writing a file for pretty printing. LaT

It seems there are three different use cases. 1) Typing and storing words as plain-text. Two spaces seem unnecessary. 2) Writing a file for pretty printing. LaTeX is an excellect choice, and will probably make a pretty PDF. 3) Display as an HTML webpage. Currently there aren't any good solutions for this, and generally we're trying to make something that either just defaults to 1, or else creates a poor emulation of 2.