Manual Override

^(alt-text)

I think you mean 'GNU Info Override'.

Special 10th anniversary edition of WHAT IF?—revised and annotated with brand-new illustrations and answers to important questions you never thought to ask—out now. Order it here!