How do you power off this machine?
-- Linus, when upgrading linux.cs.helsinki.fi, and after using the
machine for several months