This is actually good to talk about. Thanks to
@max in that respect.
If I might answer your question though from my perspective - Even if it didn't bother you at all it would be hard for anyone else to truly know unless rather than ignore it, you posted that it didn't bother you. May seem silly but there are a lot of new faces around here and even some of us who have been around for years may not know all the characters or personalities.
Several of us poke all kinds of crap at each other so I realize it can be a fine line. I think where it actually does cross it is when the name is in the thread title unless you are saying something obviously positive or neutral.
But IMO - it is a good subject to have come up every now and then.