The "Karen" label is a way to trigger liberals that would not understand when called "NPC." The "Karen" label informs the liberal it is neither unique nor special in any way. A "Karen" is as interchangeable as it is annoying.
No proof, ever.
https://www.marinetraffic.com