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