Thank you for the comments, > Yes, please split non-functional changes into a separate commit > (preferably one for each concern). I do envision reviewers saying "let's > put patches X, Y, and Z in, but not patches A, B, and C", so splitting > would make it easier to decide what's worthwhile to have. Sure, will do