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