We just account for contributions globally, rather than inside files, for cleanliness across the package. The main CONTRIBUTORS.txt is where author identities and their contributions are collected. Have no fear, you are credited!  For more granular records/credit, Git has the full file history available. 