Building a text checker: Unicode counts, source offsets, and stale results

A small textarea tool can fail in surprisingly visible ways: an emoji shifts the highlighted line, an...