the guys who developed “copy and paste” worked at xerox when they did it, and yet, they didn’t call it “xeroxing”, which is what everyone was calling “copying” at the time