for PETSc v3.21.2 (and v3.21.1)
C codes (Chapters 1--12) were tested with PETSc v3.21.2 commit f0df6a1043e (and for v3.21.1)
Python codes (Chapters 13--14) were tested with Firedrake master branch commit 1bbd9dfa3
Test machine: thelio Ubuntu 22.04.4 LTS