Happy Batman Day. Or, as I’m calling it, Day of the Batman.