Manual Override
(alt-text)
I think you mean 'GNU Info Override'.
|<
<
?
>
>|
Archive
What If?
About