[autotex] extend documentation