912: Manual Override

I think you mean 'GNU Info Override'.