for PETSc v3.20.2

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

Python codes (Chapters 13--14) were tested with Firedrake master branch commit 8d97a0741.

Test machine: lemur Ubuntu 22.04.3 LTS