I assumed this is the logical thing to put here. How do we handle this in general? Whoever creates the file puts the appropriate copyright header like this?