Update info-ext.tex