new rev3231 of texi