[Dillo-dev] patch: http_proxyuser preference