texinfo issues