DOTIMES or REPEAT, and old-style DO flushable?

[Eric J. Swenson <EJS at MIT-MC>]

cc: H at MIT-MC, KMP at MIT-MC, HENRY at MIT-MC, BUG-LISP at MIT-MC,
    BUG-LISPM at MIT-MC

I've long thought that the time had come to flush the old-style DO.  I
don't think it presents a substantial saving of coding space, and being as
un-general as it it, is not worth keeping.