rename a global option; rewrite on docs