O4 review
The purpose of this MR is to merge changes that came up during the O4 review (see https://git.ligo.org/pe/O4/pesummary-review/-/wikis/Home for details).
The purpose of this MR is to merge changes that came up during the O4 review (see https://git.ligo.org/pe/O4/pesummary-review/-/wikis/Home for details).