@rms Could you please explain the pun? I'm a native Spanish speaker and don't get it. I'm Mexican and Spanish varies from country to country, so I asked on a Spanish-language Emacs group with people from many different Spanish-speaking countries but people didn't get it there either.
EDIT: Nevermind, I found your web page on Spanish puns (https://stallman.org/spanish-puns.html) that has the complete pun: "Conocí a una ninfa de roble. No era ni hermosa ni elegante, sino bellota." Clever!