I don't think the HN headline needs to capitalize "Ira." We're talking about a dude, not a pension savings account or paramilitary organization.