No-proxy switch for archive.php

I have defined the [proxy]-section in config.ini.php. The proxy must be used for outgoing, non-local addresses. The new archive.php script also uses this proxy server, but the address in --url is local, so the proxy may not be used.

I think, there should be a switch for archive.php which disables the usage of proxy (e. g. --no-proxy).

Thomas