what should bootstrap *really* do?

[Richard Kenner]

    End users don't change something often.  And, if they do it too late,
    they'll sure get a compare failure.

Well if they're not changing anything, what are they doing to recover
from the failure?

This is my problem: if somebody runs a bootstrap and it fails, they are
going to be tempted to change something.  So I agree that end users don't
change something often, but it's precisely when they will be restarting
bootstraps that they do!