agenda: Update copyright header.