`docker compose down -v` left pgweb and jaeger running (under
`--profile dbtools` / `--profile observability` respectively), with
no obvious diagnostic. Reason: Compose only operates on services
whose profile is currently active — if you brought them up with a
flag, you must `down` with the same flag, otherwise they are
invisible to that command.
Document the gotcha in `infra/README.md` "Local-dev stack" →
"Operational tips", with the two pragmatic resolutions: pass the
same flags on each command, or set `COMPOSE_PROFILES` once and
let it propagate.