proxy images from GitHub in setup_dev_environment.md