Resurrected the checkpoint search code. We might be able to get it to
work after all.