Well, I'm all set now. I solved the 5.01 the same way Bill did - upgraded to 5.5 beta, found it was terribly buggy, then uninstalled. Now 5.01 is working fine again.
Talk about your strange fixes...
The Anonymous Bureaucrat,
and frankly, quite content not to be
a member of either major US political party.