Let's actually fix the MLK/Robert E. Lee shared holiday problem

Many people have whined today about Robert E. Lee and Martin Luther King Jr. sharing the same holiday in Alabama.

But what do they suggest as a practical solution?
Nothing.

I can fix this for everyone, it's not that complicated.