I have marked this as solved, having made a fresh Raspbian SD card. Thanks to galmei and gapan for pointing out the sensitivity of the Pi to improper shutdowns, and for the suggestion of keeping a backup of the tweaked Raspbian image. The process is straightforward enough, but it is S L O W .... on my Raspberry Pi Model B.