Apologies in advance if this is the wrong place to post this question.
So I've just RGB modded an old CRT TV, and now I'm trying to replace a series of capacitors to hopefully fix some screen geometry issues, and I've run into a little road block on a few of the larger high-voltage ones. The terminals on the underside have some sort of star-shaped grip that I've never seen before, and can't figure out how to detach them. I've been able to get some of the solder off with my vacuum desoldering gun, but I can't quite figure out the gripper part.
The replacements I bought on DigiKey (same capacitance/voltage rating, but the terminals are just thick stumps) don't have these, so I'm at a bit of a loss. Has anyone seen anything like this before? Thank you for your help.