> Would such patch be acceptable?

This has been on the back burner for too long a time, thank you for
bringing it back to my attention.

Right now we're preparing to release 9.12.0, so there will be some delay
before this can be considered, but I'll review the patch when I'm less
distracted.