That thing was occasionally called WTF-8, but not often—it was normally called “double UTF-8” (if given a name at all).

In the last few years, the name has become very popular with Simon Sapin’s definition.

Say "double UTF-8" out loud ;)

"if given a name at all"

https://en.wikipedia.org/wiki/Mojibake