... when I selected the option to remove the home directory and kitchen sink, the user didn't go away, though it was no longer possible to log in as that user. Unticking that box did the job, though I'm not sure what would have happened if I hadn't already clicked on OK before with it ticked.
What's supposed to happen if you do leave it unticked, by the way? /home/foo remains intact, but user foo no longer exists and cannot log in? Anyway, everything's gone now.
GUI to remove user fails in 13.37
Re: GUI to remove user fails in 13.37
Removing a user account and all user files are two completely different things.
The first time you tried to remove all files, you probably were accessing something in that user's home directory, so it couldn't be removed. You can't delete a file if you're accessing it.
The first time you tried to remove all files, you probably were accessing something in that user's home directory, so it couldn't be removed. You can't delete a file if you're accessing it.
Re: GUI to remove user fails in 13.37
you probably were accessing something in that user's home directory

That was probably it, though I didn't think so because I only created the thing to make sure it came with the proper 13.37 look. Anyway, it works now.
Thanks gapan!