Interesting. I never knew that about it’s etymology.

I just looked it up quickly and it seems to be way more nuanced than that. According to at least one article, it was used prior to the first electrical execution in 1899 as a means of referring to a non-fatal shock.

https://www.visualthesaurus.com/cm/wc/electrocution-a-shocking-misuse/

Either way, I think it’s splitting hairs. It’s common and acceptable usage anymore to use that term meaning a non-fatal shock. So the clarification in the title doesn’t come across as redundant to me.

Could have just been injured. Electrocution doesn’t always mean death.

According to Miriam-Webster, the definition of electrocuted is:

to kill or severely injure by electric shock

Sly way for the article to be titled. It’s almost as if they’re trying to mask Meta/Facebook being the owner of it.