<p>I think the we should follow the following general recipe:</p>

<ul>
<li><p>Misspellings like the one pointed out in the question should be fixed. </p></li>
<li><p>Misspellings because of a difference in usage across contexts (e.g., color vs colour) should not be fixed. Instead, we should use the synonym feature for these types of misspellings.</p></li>
</ul>
