#honorific

The op may well be right about this. Either way, I will likely regret commenting on it. But, in my view, it simply doesn't matter that much whether we have a norm of students calling profs by their titles,