[ovt]

I feel it's a good development that we no longer hear about Linus so much--unlike in the 90s, when it seemed he was taken excessively seriously.