I have opened #11314 for that.