Even if they did, what are they going to do? File a bug report that will sit at the bottom of the priority pile forever?

Devs don't set priorities. Software "Engineers" largely don't get to engineer at all.