Das Update hatte bei mir ja geklappt, wie ich weiter oben berichtet habe. Allerdings findet weder das Update- noch das PGN-Tooi die "Clock".

Ich habe alle möglichen USB-Buchsen an meinen zwei Geräten (Windows 10) ausprobiert. Hat jemand eine ähnliche Beobachtung gemacht?

Fehler gefunden. Lag natürlich an mir! USB-Modus hatte ich nicht aktiviert.