started to replace the old copyright header by a new, shorter, one
continued to replace copyright headers by newer