I checked. They are intact since being added, so we don't need to add
extra copyright notices in them.