GNU info file manipulation utilities
