Danke für den Hinweis: Also Edge besser weiter installiert lassen, auch wenn es manchmal ein kleines bisschen nervt wie hier.
Übrigens drängte sich Edge dann scheinbar zudem auch noch plötzlich als PDF-Viewer auf: Die Festlegung meines bevorzugten Viewers war plötzlich aufgehoben. Man konnte ihn dann zwar neu auswählen (auch auf Dauer), aber Edge wurde gleich an Position 2 vorgeschlagen. Wobei ich hier nicht sicher bin, ob es tatsächlich mit dem Edge-Update von heute zusammenhängt oder mit etwas anderem.