loop-finish is usually defined with macrolet and "pollutes" the name
space (i.e. makes it non-hygienic), which is useful in this case.
Certainly, many people find the extended loop useful, but it's got to
be one of the ugliest, non-lispy parts of CL. I can't really see
trying to build an argument for much of anything around the fact that
the extended/MIT version of loop uses it.
Many people find goto useful . . . .
Rick