GNU info file manipulation utilities.