I have opened #12239 on the topic.