So people's customized color schemes don't get lost, but get converted
to the new format instead.