Home/Crosswords/WSJ/Franchise begun with 2008’s “Iron Man,” for short