GROBID is only needed during reference extraction (ra_grobid_backfill.py),
not for normal corpus operations (search, embeddings, wiki). Idle it still
holds ~3.5GB on the 8GB Jetson, so keep it stopped by default.
- infra/docker-compose.yml: grobid restart unless-stopped -> "no" (no auto-start
on boot; db keeps unless-stopped). Start/stop papers-grobid around an R-A run.
- docs/infra/grobid-jetson.md: add "Run on-demand" section with the start/stop
workflow, and record the refextract head-to-head evaluation on the Jetson that
led to keeping GROBID: far worse DOI recall on this math corpus (lutz thesis
101 usable IDs vs refextract 2) and slower per PDF despite a smaller footprint.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>