Sync branch 'latex_spellchecking' with 'master'