I would not consider it redundant as the original issue with the icon size was not solely or even primarily about mobile (and for me, the icons are about 5 times too large in mobile, so I’m not sure if there was any actual change to the appearance on mobile).
2 Likes