February’s comment is devoted to Dr. Martin Luther King Jr Day. It is an American federal holiday marking the birthday of Martin Luther King Jr., on the third Monday of January. Dr. King’s birthday is January 15.  Martin Luther King was a civil rights activist, and a leader in the movement to end racial segregation…