Written as the work happened, not assembled afterwards to explain it. Several of them say plainly where they are wrong.
scripts/publish_docs.py copies docs/ into the site at deploy time and
refuses to finish if any internal link goes nowhere. So there is one copy of each document rather
than two, and the copy you are reading cannot drift from the one in the repository.