[autotex] Fix README refs