✏️ Editing: texinfo.go