Renaming crocodile/alligator clips

BUR #49416 has been approved by @Hillside_Moose.

create alias crocodile_clip -> alligator_clip

This tag seems to be used for the metal spring-loaded clips with serrated teeth mostly used for electrical connections (though it is likely very undertagged, surely a lot of bdsm/electrostim art uses these). These are officially called alligator clips. I personally have never heard them called crocodile clips, though per the original company's website at https://ww2.muellerelectric.com/the-complete-guide-to-clips/ it seems to be a separate term they used in European markets, but which actually refers to a subset of alligator clips.

Mueller Electric said:

For the most part, you can assume that anyone using the term crocodile clip is referring to an alligator clip.

It seems the only reason the wikipedia article for these uses the "crocodile clip" term is because someone created the article using the British title and therefore according to their policies it can never be changed.

To be honest, this is the first time I've seen anyone refer to these clips as "alligator". The website you linked says:

What we call an Alligator clip in the United States is a Crocodile Clip to people in Europe and other areas of the world.

So, they're called crocodile clips everywhere except in the US. I'm not sure, but I think it's better to use the name that's more common worldwide, rather than just in one country.

Alligator clip seems to be more widely used.

Google results:
"alligator clip" - ~8,470,000 results
"crocodile clip" - ~1,790,000 results

The bulk update request #49416 (forum #393679) has been approved by @Hillside_Moose.

GreyOmega said:

Alligator clip seems to be more widely used.

Google results:
"alligator clip" - ~8,470,000 results
"crocodile clip" - ~1,790,000 results

Yeah, you’re right. I didn’t check it, my bad.