Success!
Dani ... I had always used version 1.5 of the Extension Manager, and didn't realize there was a newer version (1.6). Installing version 1.6 cured whatever the problem. Funny, though, that I never had a problem before with version 1.5. Oh well, at least it's working now. Thanks for your help.