Board Thread:General Discussion/@comment-28809980-20170520222548/@comment-5754239-20170527041337

The symbols are a result of different encoding (see Thread:3251). I'm not exactly sure what happened with the dot, but I assume that multiple people used a different "dot" character every time. Maybe someone used a language-specific keyboard, since different characters (even periods/full stops) are rendered differently. For example, my Chinese keyboard setting renders a period as ". "

We could go ahead and change the "dot" to a "neutral" period/full stop symbol like "." (using an English (US) keyboard).