for PETSc v3.23.0

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

Python codes (Chapters 13&14) were tested with Firedrake version 0.14.dev0, installed by pip.

Test machine: thelio Ubuntu 24.04.2 LTS