I don't know if my post as above made it. I was seeing no new posts for the
next couple of days.

Anyway, the IPv4 issue fixed itself. The RPM database seems to be O.K. now.
The database seems not to unlock when it should, but last time I noticed
that, it was unlocked later.