Hmm, looks like my earlier problem has become academic. My last attempt to run Eraser to completion appeared to have crashed, but after rebooting the device I now find that
Cydia and all the other jailbreaks seem to have gone
Apps seem to be in place
All other settings seem to be in place too...