Vielen Dank für die Rückmeldung, Frank!
Die Plugins sind schon längst gelöscht (natürlich über die Pluginverwaltung) - mittlerweile sind es auch bestimmt schon vier, fünf, die für die Überreste verantwortlich sein könnten.
Die Frage wäre noch: Wenn ich einen dieser Strings im Code eines Plugins identifiziert habe, dann heißt das ja noch nicht, dass nicht auch andere Plugins einen identischen Eintrag in der wp_options hinterlassen bzw. darauf zugreifen könnten, oder?
Gruß,
Tobias