Rename newOptionAttrSetToDocList -> optionAttrSetToDocList