We better include it only where it's needed. I argued in favor of self-contained headers in #378