petsc4py(1) on Linux

The text 5a1d9cfefe59, as Debian 10 (Buster) shipped it.

PETSc for Python

petsc4py(1) on Linux now