texi/ChangeLog addition: