Somehow the Arduino IDE has been upgraded and nothing is in place anymore.
Now when I click Tools - Manage library, there is a list in the left pane. All I get is a long list of several hundred irrelevant (to me) items for installation. The old list of modules for me to include is missing.