The backend spellcheck API that performs spell checking for ShareLaTeX