On Tue, Feb 11, 2025 at 4:54 PM Danilo Krummrich <dakr@xxxxxxxxxx> wrote: > > Agree with Miguel, better to drop it in such cases. > > But no worries, Tamir. It was still valid in this case, which is why I did not > complain. :) > > Also feel free to keep it for v5, moving to Gary's simplification. > > - Danilo 🫡 Thanks!