Vielen Dank für eure Antworten. Ich werde es dann erstmal mit einem Update versuchen (muss mich dazu aber erst noch etwas in der Anleitung aufschlauen), da ich nur ungern einen weiteren Platz in der Geräteliste "verbrauche" beim Versuch Ordnerinhalte zu kopieren. Hoffentlich bekomme ich es hin
Edit: so, habe es ausprobiert und es ging ohne Probleme. Libreelec Update gezogen, Inputstream.adaptive aus dem Kodinerds Repo installiert, Verlinkung aktualisiert. Dann lief es auch schon wieder. Vielen Dank für eure Hilfe