Certain pieces of information must be provided at the beginning of a Texinfo file, such as the name of the file and the title of the document.