Manual Override

Manual Override

(alt-text)

I think you mean 'GNU Info Override'.