GNU info file manipulation utilities