I just copied the header verbatim from another file. Is there someplace we're collecting suggested best-practice for header content? (The existing code seems woefully inconsistent in this regard.)