Monday is Presidents’ Day, generally celebrated in the United States by giving white-collar people a federal holiday around the birthday of Martin Luther King, Jr. Which is fine. We should avoid glorifying our leaders. This isn’t Imperial Rome. (The reader can decide for himself whether that is a good thing.) In service to those of you who aren’t workin…