We’re an hour and a half into the debate, and the bulk of mentions about Trump happened early on. Overall, the number is rising pretty slowly. His name has been mentioned more in recent debates, but this is — so far — more similar to earlier debates, when the president wasn’t invoked as often.