Oct. 17, 2022
7:01 p.m.
No further comment on that patch set, so I applied it to the main branch on the GitHub development repository, after resolving a few minor collisions. For reference I'm attaching the patch set as applied.