Today is the holiday where we honor Dr Martin Luther King Jr. But is MLK Day a holiday? And we’re not questioning whether we should have a day to honor the slain civil rights leader. We’re wondering about holidays in general…