I've decided that I want to remove the MozDev branding to have more control over my MozDev project page. However, I don't want to remove all MozDev branding. I want to keep the header with the tag line and the date. I'd guess there's some PHP include code for this. Can someone point me to it?