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.