> OK with the documentation change and with the re-named option. Please > also update the name in the code.
changes made and committed as r214311
> OK with the documentation change and with the re-named option. Please > also update the name in the code.
changes made and committed as r214311