v1.2.3: Harden proxy fallback and repo installs.
