Fixes #6394: Update manifest refresh to use proxy if configured.

Good point. Updated.