This really should have been a separate PR, not make a huge PR bigger,

@elextr Good point, dropped the patch, will post it separately once this is merged.

and I suspect that the huge PR could have been split in the first place.

The patches are so related that it would be really hard to do. If I knew from the very beginning about all the possible problems and knew exactly what needs to be addressed, it could have been a much smaller patch set. But rewriting the patches now would be a huge amount of work.

—
Reply to this email directly or view it on GitHub.