Historically, we have used <introduction year>-<modification year> as the pattern for copyright headers.

For example: Copyright 2002-2025 the original author or authors.

However, we have been encouraged to use present as the modification year.

In light of that, we should update the following to enforce the new pattern.

We should then run update_copyright_headers.sh to modify all source files.