On Thu, May 11, 2023 at 10:24 AM Calvin Wan <calvinwan@xxxxxxxxxx> wrote: > > Splitting this patch into two would make it easier to review and follow. > Regardless I think both changes make sense and thanks for documenting a > preexisting bug. Sure, I can do that.