Absolutely. The " - " issue occurs in all of Eliezer's work (and to be fair most work by folks working with an ascii-like medium). We've recently prepared a manuscript for the first 17 chapters of Methods of Rationality to be sent off to be published as hard copy. In that source I performed the substitution :s/ - /---/g across the board.

I'll have to be a little more careful with some of the sequence conversion---that particular character combination also occurs in equations that we'll be manually converting to the LaTeX equation environment.