> Install the 9 packages with rpm -i Great suggestion, will try.
But the other question remains: did I blunder and should throw ashes over my head, or is there a serious problem, requiring a high-priority bug to be filed? - this problem sounds so out of the world. Probably the best is to wait whether other testers hit the same problem when they try their new isos
