Thanks for the quick reply.
I think the power-button trick would work on XP,
but doesn't seem to work here.
On other laptops, I have seen the <shift> key wake up
Linux, but again, not here.
It may be that the whole machine has quit responding,
because I just noticed that I cannot even ping it.
So, here we go -- a hard reset.
