new rev3152 of texi