Re: [PATCHv2 12/12] extrahd.cgi: Adjust copyright header