News Google Docs just gave spell check a boost — here’s how it works