Re: Proposal: Simpler source file headers