Re: [PATCH] Omit User-Agent: header by default