It seems that VECTOR-REVERSE! accepts start+end arguments, while VECTOR-REVERSE does not; they make sense in both cases. Opposition to adding start+end to the non-destructive VECTOR-REVERSE? If not, I'll add it in the next draft.