Has the author made any insights into reverse-engineering Google Docs’ spell checking?