Bei mir (LE 8.0.2) funktioniert in play.py die LibreELEC-Erkennung basierend auf dem Hostname nicht, da ich den Namen (wie wohl viele) geändert habe. Mittels /etc/os-release oder platform.linux_distribution() sollte das hoffentlich auch machbar sein.