OK. So for some time now, I've been running MIUI Rom, probably a few updates old. But it's been very stable and I've not bothered to update.
I noticed my SD card is nearly full, so, instead of trying to find out why it was full, I decided I wanted to load another ROM and start from fresh...