Ubuntu

Comment 2 for bug 185263

Oh well. Thanks. I only wanted to bring it to your attention. Atleast you now know that Knuth uses Ubuntu 7.10 :)