As a month has passed without comment, I have pushed this to master for inclusion in 3.8. Thanks, Jeff!
As a month has passed without comment, I have pushed this to master for inclusion in 3.8. Thanks, Jeff!