SplitInfinity

@jfix71 Does this still need to be done? I'm gathering a few work items to tackle on the plane on Friday. I won't have internet, so I'm trying to find...

> I couldn't find anything about labels in the [API docs for creating a PR](https://docs.github.com/en/rest/reference/pulls#create-a-pull-request), so I did some quick Googling and found [octokit/octokit.net#1862](https://github.com/octokit/octokit.net/issues/1862), which seems to imply that, while...