well, that didn't take long. screen locked and, a minute or so later, the machine rebooted (as seen before). the log has nothing interesting. :o( clearing the "needinfo" flag.