Oh, oh, ok. So a) + c). A bit too quick with installing stuff.
Well then, it shouldn't be a too big of an issue to remove the files affecting 4k diffues pack.
Since I ain't keeping track these days, I figured I shudda ask first.
But I'm keeping the new animations, period!