<div dir="ltr"><br>
<div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><span class=""><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
That's en easy one: replace each <space><space> with <space>. Repeat until<br>
no replacement is done.<br>
</blockquote>
<br></span>
Some of us still believe that the period at the end of a sentence needs to be followed by two spaces, not one.<br></blockquote></div><br></div><div class="gmail_extra">IMHO you should never use double spaces to get a bigger space, instead use a wider space. (This is also more consistent with how TeX works.)<br><br></div><div class="gmail_extra">Unicode contains several suitable spaces.<br><a href="https://www.cs.tut.fi/~jkorpela/chars/spaces.html">https://www.cs.tut.fi/~jkorpela/chars/spaces.html</a><br><br></div><div class="gmail_extra">(And in Swedish it has never ever been correct with two spaces after a period, I think it may be the same for many other languages.)<br><br></div><div class="gmail_extra">/Peter<br></div></div>