[patch] remove a few unnecessary #includes

[John Kelly]

Rainer Weikusat wrote:

>> - /* if both extract and test option are given, ignore extract option */
>> + /* if both extract and test options are given, ignore extract option */

> This adds a plural s where none is grammatically needed. This is
> called an ellipsis ("if both extract option and test option are
> given") and usually considered to be good style.

Consider these sentences:

"If either the water cooling option or the blue color option is
chosen, the price of the mainframe computer is within your budget."

"If both the water cooling option and the blue color option are
chosen, the price of the mainframe computer will exceed your budget."

The first sentence is correct; the second is not. "Both" in the second
sentence means more than one, and demands making "option" plural.

Here's what my dictionary says about ellipsis:

> the omission of one or more words that are obviously understood but
> that must be supplied to make a construction grammatically complete

Thus you may factor the two instances of "option" to a single
instance, but nevertheless in this case, "both" still demands the
plural form "options," whether factored or not:

"If both the water cooling options and the blue color options are
chosen, the price of the mainframe computer will exceed your budget."

So in this case, Bernhard was correct.

This thread got my attention because of the snootiness by various
parties.

snooty: showing disdain <snooty people who won't speak to their
neighbors>

The conclusion is:

Being wrong in one case does not make a person wrong all the time.
And being abrasive or unpopular among the perhaps snooty majority does
not make a person irrelevant, much less a troll.

Try to grow up, children.