[rec.humor.funny] Stallman, Thorvalds, and Knuth