Would this be something you'd consider merging a PR for?
Would this be something you'd consider merging a PR for?