Today is Martin Luther King Day, a United States holiday. Much has been written about the holiday, and about King. I won't attempt to add much, other than to highligh…