PS If it is in inst and demo as well? There would be enough time to
build a new image.
Aside from time, the other problem is that there have been other
checkins since we made the "final" images, and no particular testing, so
we could be going backwards. Thus, I don't think we should risk it. I
know it is very unfortunate, but ...