On Sat, 15 Jan 2022, 20:27 René Ferdinand Rivera Morell, <
grafikrobot_at_[hidden]> wrote:

>
>>
> I also debated on merging the two papers together as an option. What do
> you think? Is is better to keep them apart (theory being that it's easier
> to pass really small additions), or put them together into a single
> debugging support paper?
>

Two papers requires getting twice as many review slots in each group it
goes through. For big papers, that might make sense of you want to ensure
some parts get in even if we run out of time to review some of it.

But these are tiny features, I don't think there's a lot of value in
splitting it up. But I can only speak for LWG. It's possible the LEWG chair
and co-chairs would rather have two tiny papers than one small one.