I'm using a dark mode, but is that (and the lack of scaling of the
icons) the only difference?

Is it possible that Gnome Shell (or something) is somehow interfering
here and substituting other icons?

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no