(The singsong Nelson Muntz-type “ha ha,” not surprisingly, is totally distinctive—we don’t make this happen to our good friends. There’s also the sarcastic “ha ha,” a British colleague jogged my memory: https://antonrclc370476.blogdal.com/28469058/getting-my-jav-to-work