From my point of view, it would be helpful if the "# This file" comment were also copied into the leap-second file directly. That way, when we copy the leap-second file, we don't need to worry about also copying the copyright notice separately (as we are legally obligated to do); we can simply copy the one file that we need, as-is.