@mflatt, I have a pull request I want to submit to Racket7 but looking at the changes I’ve made there are 2 different main ideas in the code. Would you prefer I submit 2 separate pull requests or is one okay?

Two PRs sounds like a good idea, but if it’s significantly more convenient to make it one PR, we can work with that.

Two should be easy enough. thanks