I don't believe he uses only his netbook. I think he also uses the public CSAIL computers at Stata Center in MIT. They have a KDE Linux on them.<p>I have used them from time to time, and as before logging in, at the username prompt usually you can see the last user that was on the computer. Many times it was "rms".