Docs updated after last merge, the new option has been renamed and its default value changed