Incidentally, the 2020 Jepsen report on Postgres found a bug in the SSI implementation [0]
The had a safe super intelligence bug dating back to 2011?
Wow so ahead of their time.
(And since I'm bad at sarcasm and don't wish to mislead, SSI = Serializable Snapshot Isolation in this context.)
If you are just skimming this doc, The HoT update path is the section I would jump to.
Understand HoT and then read the zHeap implementation notes (also of TOAST) puts a good mental model of what postgres does and what it doesn't do.