One week has passed and nobody else has commented on this issue. I would suggest to go ahead and accept the pull request I submitted. That will allow to close this bug. A better solution, once available, can be used later.