DocTools now capitalizes DROP, but not ADD any more
Doc wording: to "drop an index", not remove it