@keithzg @ShaunBartone @keithzg BTW, I solved the problem in the end, with some basic googling. I had to create a new home directory, because I'd somehow disappeared the old one (or possibly changed ownership so that it now belongs to root, but I didn't realize that was a possibility until after I created the new one, so I'm not sure...I may investigate more thoroughly later).