On Mon, Mar 1, 2021 at 5:24 PM Benoit Lobréau <benoit(dot)lobreau(at)gmail(dot)com> wrote:
>
> I like the idea !
>
> If it's not too complicated, I'd like to take a stab at it.
Great! And it shouldn't be too complicated. Note that unfortunately
this will likely not be included in pg14 as the last commitfest should
begin today.