TeX binaries, vagrant force destroy, textual, st3 spellcheck