> What is it about IT types that brings out religous discussions like
> this so readily?

I've always wondered, its either editors, languages or OS's and
sometimes desktops

> I wonder what OS Knuth uses...

I'm guessing the good old fashion pen and paper. He has a secreatry to
write up his notes and I'd guess he'd have junior's to do any software
testing he might want.

Ro