Kind of similar to the story about the origins of the word "bug" in software
If this would have caught on we might have called bugs mice
If this would have caught on we might have called bugs mice
The history section of the Wikipedia entry for "bug" [1] suggests it predates computers by decades.
Moths are, technically [0], not bugs.
Hopper's note didn't suggest the word was new, but was funny exactly because it was not.