De’vID, it you don’t think it’s an actual pun stricto sensu, think of it as a mnemonic.  It is after all slang, which nobody is forced to use, though one does have to recognize when {HovHom} means “sequin” and not something like “dwarf star”.  (BTW do we have an astronomical word for this yet?)

Voragh

______________________________________________________________________________

From: janSIy . via tlhIngan-Hol
Sent: Wednesday, January 22, 2025 8:31 PM

ghItlh De'vID:

>  Well, yes, I get that {HovHom} is "little star". What I didn't get was

>  how that is a "pun", or how sequins are connected to the song.

It was Okrand who connected HovHom to paQjen, saying it was a slang version. He may have simply been thinking that sequins can appear to be little stars. But he might have thought how they twinkle and connected it through the song. Occam's razor would indicate it is more likely just that he thought they looked like little stars.