Are we? I don't believe you've disagreed with a word I said.
Of course such options exist. Honest and authentic communication is a crucial tool to avoid disagreement descending into flamewars.
Linus' original post attracted a message from an original developer saying "yeah, I hate that too, we'll try and get round to fixing it". That suggests that his choice of option was really rather constructive, peanut gallery interruptions to the useful parts aside.
I disagree with Linus's digression to insult a member of the peanut gallery, no matter how useless and unnecessary said member's interjection. In my mind, a "No, that's wrong." is sufficient if it even merits comment.
