antiword: style update
autoenv: simplify caveats
TeXmacs 1.0.7.19