It is hard to say from one example, but I have no issue with someone suggesting/demanding more meaningful names. Is sock vs socket a deal breaker, no of course

It is hard to say from one example, but I have no issue with someone suggesting/demanding more meaningful names. Is sock vs socket a deal breaker, no of course not but the latter is more than "just two exte letters" in my opinion. It also seems like such a trivial thing to correct in any reasonable editor. Now that you know or as you continue to learn what is important to the team this should happen less.