Great point, that's something an automated checker wouldn't catch. Sounds like an opportunity for crowdsourcing. As a simple example, the interface could allow a user to report typos and view any other reported typos, then submit upvotes/downvotes on previously reported typos.