On Sat, 2 Dec 2023 23:02:36 +0100 Thomas Mundt <tmundt75 at gmail.com> wrote: > > LGTM, thanks. > I am going to squash the three commits and push. There's no real need to put each filter in a separate diff when the logical change is identical in all three. Thanks, --phil