Do names based on wordplay really cause you cognitive overhead? How are they any worse than totally arbitrary names? How is a pun a more distracting etymology than any other kind? Does it bother you that New York is named for King James II, as he was the Duke of York at the time?