It might be more generally a sign that I shouldn’t comment when it is late at night in my timezone. Also, it should constitute evidence that we need better spellcheckers that don’t just catch non-words but also words that are clearly wrong from minimal context (although in this particular case catching that that was the wrong word would almost seem to require solving the natural language problem unless one had very good statistical methods).
It might be more generally a sign that I shouldn’t comment when it is late at night in my timezone. Also, it should constitute evidence that we need better spellcheckers that don’t just catch non-words but also words that are clearly wrong from minimal context (although in this particular case catching that that was the wrong word would almost seem to require solving the natural language problem unless one had very good statistical methods).