I have often wondered why MLK is a holiday and not, say, Emancipation Day or 13th Amendment Day.
Officially, in some states, Martin Luther King's name is still combined with "Civil Rights" or "Human Rights" or Lee or Jackson in the holiday's official name.