for PETSc v3.22.2

C codes (Chapters 1--12) were tested with PETSc v3.22.2 release branch commit b90f515d7fd

Python codes (Chapters 13--14) were tested with Firedrake master branch commit 4c9335439

Test machine: thelio Ubuntu 24.04.1 LTS