This is file, produced by makeinfo version 4.13 from
setfilename_comment.texi.

