We should have pretty headers, because they are pretty
Hold on. The reason we don't have pretty headers is because we don't have a public API. It's to help indicate that. Check with Dario, or George K or someone who likes libraries before doing this.
CC'ing George. Can you give your input on this?
SInce we are going towards a public API I think we should start writing them and using them internally, perhaps we can start writing them, but install only the ones for public stuff.