[POLL] Mass renaming options for consistency + guidelines

[Yuya Nishihara]

On Mon, 13 Nov 2017 22:31:38 +0900, Yuya Nishihara wrote:
> FWIW, introducing bunch of permanent aliases might not be as simple as it
> sounds. It will basically add another axis to the current config layer,
> [global, user, repo] * [oldname, new-name].
> 
> Should user's "ui.tweakdefaults" precede global "ui.tweak-defaults" for example?
> Probably it should. Should they both be listed in "hg config"? Maybe, but how
> can we know which is in effect? No idea...

Any comments on this? With the current alias handling, user options may be
overridden by the global ones if the user is sloppy to keep his hgrc up to date.