Or it was just his idea of a joke. He doesn't need to pull up a file to know that this guy didn't like him. People are especially dense to punchlines when they'

Or it was just his idea of a joke. He doesn't need to pull up a file to know that this guy didn't like him. People are especially dense to punchlines when they're stressed out and don't expect someone to be pulling their leg.