Nach längerem Suchen habe ich den Hinweis gefunden, dass unter Extras – Extensionsmanager die entsprechende Erweiterung installiert und aktiv ist.

Falls das nicht hilft, wäre die nächste Idee, das Benutzerverzeichnis zu löschen. Hier eine Anleitung zum Finden des Verzeichnisses.

Wenn auch das nicht hilft, muss ich dann weitere Ideen/Lösungsansätze suchen…