[cullmann]

I as Kate maintainer can not understand their position in that bug. I see that one might forget about the implications of that rename, but now it got reported and the fix would be, at least the simple one, to just keep the old icons for these names. That would have zero bad impact on 'modern GNOME apps'.

[Intralexical]

That would make sense if they cared about solving the issue. Rather than about proving they're right and showing they're in control.

The specific issue and facts don't actually matter. Y'all said something that was different from what they were already doing/thinking, therefore, you must be wrong.