Tonight’s carol service looked at the names of Jesus. Naming a child is often one of the first things would-be parents do, being careful not to choose names whose initials spell out embarrass…