Re: [arch-releng] [PATCH 3/3] [archiso] Rename archiso_curl_url= to archiso_http_srv=