On Sun, Oct 26, 2008 at 9:22 PM, Tim <ignored_mailbox(a)yahoo.com.au> wrote:
Having read the referenced page, it still leaves me cold. Years of
experience of booting and wildly pressing a hot key trying to hit it at
just the right moment makes me hate hidden menus.
I thought they said one just holds down any key and keep it pressed as
the system boots.
~af