I'm glad Linus stepped in on this one.
Unrelated question here - how are people actually consuming mailing lists like this? I always find these links difficult to read and have always assumed there much be some superior format, alternative typefaces for one.