Today’s Google logo marks Martin Luther King, Jr. Day, a federal holiday recognizing the civil rights leader.