detexもdvi2ttyも語数カウント以外に何か使い道があるの?