I think we're stuck in the weeds. The code passes tests and performs as expected. If you have additional criticisms about the coding style, you're welcome to make the changes yourself.

Generally, I try to shoot for as few lines of code changed as possible in pull requests because our interactions regularly get in the weeds about coding style.