Names of options and the tooltips that describe them should be the same across the documentation and the UI.