08/23/2016, 9:08 PM
I think the easy way to rename an option is to register 2 options, but set ‘dest’ of deprecated one to the new one. Then we want to handle the case where both are give. we can either make pants explode or not do anything if we are ok with the default behavior that the later register one will override the other.