- Rename every in-repo reference (registry image path, hub launch URLs, OCI
  LABEL title/url, prompt strings) from soil-moisture-image to
  torchlean-development-cache. The GitLab project PATH change is deferred until
  the container registry is cleaned up, so the git remote still resolves under
  the old path for now; the content points at the future path.
- build-images.sh: --push now auto-publishes the :cpu/:gpu umbrella manifest for
  the built variants (gathering whatever arches are in the registry, so it
  self-heals across machines); add --no-manifest to defer; standalone --manifest
  unchanged. Fixes the recurring "forgot to run --manifest -> ImagePullBackOff".
- README: new top-of-file note framing this image and its torchlean-development-slim
  sibling as temporary workarounds for the absence of a general Lake cross-project
  binary cache (RFC leanprover/lean4#14154).
- Fix the baked org.opencontainers.image.description that still said
  "pangeo PyTorch base" (the default base is pangeo-notebook, no PyTorch).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>