This is the public header directory.  Presently there is no
organization or distinction between which header goes with which
library.  There should, however, be no public headers included in this
directory.