docs($edit filename): #773 document new options/properties