@martin I'd like to lodge a bug report. If you type plus (the character) in a comment, it gets turned into a space. Also, if this comment ends in a language developed by Thompson and Ritchie and not Bjarne Stroustrup, regular posts are affected as well: C
3 years ago