Found at least a temporary fix myself -- removed card, booted up, shut down the system, replaced card, and booted up again. Hey, presto! Recognized the card.
The big question is, why did I have a problem in the first place? It remains one of
the large questions in this universe. At least my daughter has internet once again.