Alles klar. Herzlichen Dank für die schnelle und ausführliche Antwort. Mit der sollte ich einen Dienstleister entsprechend briefen können. Merci!
Hast Du noch einen Tipp, wie man das Verzeichnis des Plugins umbenennt, um es zu löschen? Ich habe das Plugin jetzt gefunden. Ich kann direkt in den Ordner gehen und ihm einen neuen Namen geben und so umschreiben. Oder mit rechter Maustaste und dann umbenennen.
Klicke ich danach auf Enter, bleibt aber der alte Name des Plugins bestehen.
Alles klar, herzlichen Dank. Dann schau ich mal, ob ich damit zurecht kommen.