I would argue that headers should not be installed by default. Headers are useful to some developers (but they should know how to install an additional package) and to those who want additional drivers, which are almost always proprietary. So, for the vast majority of the users who value their freedoms, the headers are useless.

Reply via email to