DO NOT SQUASH merge release into main#5080

pbrubeck merged 8 commits into

mainfiredrakeproject/firedrake:mainfrom

pbrubeck/merge-release-into-mainfiredrakeproject/firedrake:pbrubeck/merge-release-into-mainCopy head branch name to clipboard