It’s October, which means it’s the time when some people get out their decorative gourds and paper skeletons, as Halloween stores begin stocking their shelves with superheroes, politicians ...