Explain a bit about header includes in `HACKING` file