On Mon, 24 Jul 2023 14:58:06 GMT, Element Green wrote:

I have not yet done that. I wanted to get a better idea of what the best way is to move forward with this effort. Without any other input on this, it does seem like the best course of action. I'll work on that, since I should probably create multiple separate incremental PRs, so it is easier to review.

I completely agree. If you need review please let me know!