Re: [PATCH] index.cgi: correct gpl-accepted in gpl_accepted