new rev3141 of texi