no user-visible change. However, we save 29KB and don't need to update that graphic for HiDPI

This is a manual backport of a574f2f9052027ccd279e0431f7ae625e351cad7.