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.