I have noticed something about myself.
I often create a name for a character, then build the character based on a name. Does anybody else do this?
For instance, in this game with newcomers to Ars Magica, my SG magus was named Rupertus Aegidus (Latin for Rupert Giles), because I intended he should watch out for the other players' characters. Then I created him a background, and abilities.
I just casually dropped another pun on my troupe, and now I am fighting the urge to create this NPC.
I was idly wondering if perhaps the Order of Odin should actually be a real enemy, with its enforcer Fadar Hardt, Dark Lord of the Seiðr.
I did have a pun for a grog name that none of my players caught on to- the potter in my game set in Italy had the Italian equivalent of Harry for his first name, while all the grogs had a last name based on their professions.
Yes, there are.
The good puns are the same as the bad puns.
When it comes to puns, worse is better, and vice versa.
What one needs to avoid are mediocre and boring puns. They are only suitable for punishing listeners.
I think you are referring to what is known as priming in psychology. I am just reading Kahneman's excellent introduction to the phenomenon in Thinking fast and slow.
Sorry @Fishy, there is an element of uncomfortable recursion in the concept that I created my own character by punning on my own character.
Am I my own character? Is there a real me that no longer exists?
Those questions have been debated by philosophers for 2500 years, and ... I cannot say they have not been answer - there is hardly a shortage of answer - but which answer to conclude with?
As an aside, I take an opposite approach to naming magi to the OP - I come up with the mage, then devise a nickname in Latin that matches the personality or the magic of the mage.
I've done something similar for hypothetical examples in online discussions. My usual go-to for a magus to dislike or who is purposely contrary is Phallocephalus.