A Batman pun? Jochi works fast picking up on Terran nerd culture. And wasted on someone who had maybe a half-second to appreciate it, while preoccupied with something else. Eh, I’m sure Jochi enjoyed it.