[pacman-dev] [PATCH 1/1] Introduce a 'stupid-proxy' option