His reasoning is absolutely fine: It's an okay default which distributors should change (for which adding a configure warning would make sense). Direct users of

His reasoning is absolutely fine: It's an okay default which distributors should change (for which adding a configure warning would make sense). Direct users of the source don't have to care, or can make the configuration change themselves.