[autotex] add some documentation