Although `--proxy` works, too (because nopt expands it), I also think we could just call it `--proxy`. It's simpler.