More detailed TeXment inserted.
Ignore TeX intermediate products.