index.html: work-around writeTextFile bug

* Now restores the LEDs