Proposal: Simpler source file headers