I'd rather keep `bootstrap' simple for end users (i.e., have it
proceed from the point in which it stopped, for whatever reason) and
create alternate rules for developers.
I disagree that's "simple"! It leaves a serious risk of something changed
in the middle and the bootstrap not being restarted.