GNU info file manipulation utilities. NOT to be confused with print/texinfo