Please refer to the “respect disengagement” portion of your “remember to be human” guideline.

If I were less comfortable with myself I’d say both of you are harassing someone you keep calling a “comrade” over a harmless bit.