GNU info file manipulation utilities 