Danke für den Hinweis. Ich möchte mir noch die Anleitungen ansehen, wie ich das mit Bearbeitung eines Child-Themes selbst machen kann. Dann würde ich mir ein Plugin sparen. Aber in der Zwischenzeit …