It is a minor issue without a distinction.
It is alright to raise it, but why to do you feel (1) it is necessary to elevate your minor historical issue by making it a critique of a well noted conservative while (2) trying to call him out by using the nickname he holds on the tube as though it is a slur?
Next time, ping him. I doubt he will care then as this is a tempest in the tea cup this time.
JWK
I have no idea what you are talking about.