However, we could certainly talk about altering the default behavior (eg, install becomes install-no-headers and install-all-headers becomes part of the default install target).
Seems like a good idea to me.
Chris
---------------------------(end of broadcast)--------------------------- TIP 9: the planner will ignore your desire to choose an index scan if your joining column's datatypes do not match
