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.