GNU info file manipulation utilities. 
