Agenda-first About, trimmed Dell role, dated…

Details

Deferred content improvements from the v3 polish audit (these render from the
Supabase section_items table / build-time includes, so the section edits need a
re-seed to appear live; the About rewrite is a build-time include and ships with
the next build).
- intro.md (About, shared v2+v3): lead with the research agenda (NeuroSymbolic
  AI, self-correcting systems, scale → robotics/control) instead of a generic
  "Hi there!", then the affiliations. All facts and db:// links preserved.
- experience.md: trim the Dell Technologies role from 7 verbose bullets to 4
  tight ones matching the density of the other roles; every fact kept.
- teaching.md: give both courses dated cards (institution, 2019-2023 TA window,
  term count) in the same grammar as the education/experience cards.
Also add an idempotent, self-guarding migration
(prune_dead_encoded_documents.sql) that deletes the 7 legacy *-Encoded document
rows: they point at double-encoded (%2520) GitHub Pages URLs that 404, each has
a working non-Encoded twin, and a cross-check of all db:// references confirmed
none are used by any content.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01HShRpQUmDUttxD5F89ziDu

Files changed (5)