During the transition from gifs to png we left a view gifs as the opened views would persists them. I suggest to remove them now, its been a few years and continuing to carry this "garbage" is not good for our users in general as they unnecessary increase download size.
(In reply to Lars Vogel from comment #4)
> No objections for the normal repo?
I am not sure about this. Is the persisteted path to the GIFs (I think in workbench.xmi) updated once you open that view? If this is the case we can assume that all (most) users have opened these views in old workspaces. If not then these path remain as long as the workspace lives.
(In reply to Matthias Becker from comment #5)
> (In reply to Lars Vogel from comment #4)
> > No objections for the normal repo?
>
> I am not sure about this. Is the persisteted path to the GIFs (I think in
> workbench.xmi) updated once you open that view? If this is the case we can
> assume that all (most) users have opened these views in old workspaces. If
> not then these path remain as long as the workspace lives.
The can simply close the view and open it again. We can add a section to the N&N so that it is easier to find for the user.
(In reply to Lars Vogel from comment #43)
> I think we are done here.
This caused a regression, see bug 574805. "Workaround" from comment 6 isn't working, the same broken icon is shown after restart.