Remove just-deprecasted command option.