Random Mutterings Detex ByAndy Nguyen September 15, 2010March 29, 2019 Useful for spell checking http://code.google.com/p/opendetex/