I have now found upstream references to this problem. On bugzilla.gnome.org, it has been reported under bug #141580 and bug #143361. The first of these bug reports also has a temporary workaround (comment out the icon_filename property in .gnome/mime-info/user.keys).