What about just reverting the rename of the config symbol? It is a bit misleadinḑ, but so are many other option nams. And they really aren't the user interface anyway, the help text and description are the main user interface and can be changed at will.