[Dillo-dev] Re: [PATCH] make downloads.dpi use http_user_agent from dillorc