Too many people remember the “bug” story as “Grace Hopper invented the term ‘bug’” when the real takeaway is “Grace Hopper was very funny.”