I haven't posted for quite a while because my decrepit old computer isn't working. It appears that my boot drive has crashed! There's much work to be done before things are back to normal.
I am using a friend's computer to post this message.
Best regards to everyone.