[vintermann]

Probably for spell checking! If you encounter an unknown word, you can rank candidate replacements by your advisor's metric.