Name: GNU Texinfo
Bug-Submit: bug-texinfo@gnu.org
