It’s a good time to be a fan of puns. Every few weeks, a new…