Update cgi_send_banner()'s comment header