So one that I saw on Twitter had a supervisor (M) saying to a student (F) they hadn’t previously met “So I hear you really like Coq.” No harassment intended, bu

So one that I saw on Twitter had a supervisor (M) saying to a student (F) they hadn’t previously met “So I hear you really like Coq.” No harassment intended, but plenty of awkwardness (including on the part of the supervisor after he’d heard what he’d said). Nothing major, but a) you can see how something like that could happen all the time and just be draining to deal with b) I don’t think changing the name is that major either.