@Jason Self Yeah, it's in the orgmode source file at the top comment... this is just an export. It'll be in there when I convert to texinfo anyway... that'll be happening very shortly. This is my "draft pad" for the new texinfo file since I don't know how to write texinfo well. :)