new rev3184 of texi