Editing: texinfo.go