Will do. I'll also test the USB flashing locally.
Looks pretty solid to me. This is such a niche application anyway...
I presume with this change, flashing initially with USB is no longer an option? I.e., this needs to be commented? If so, I'd appreciate a short comment. It's been a really long time since I've used ArduinoOTA.
Why not restart right away? I mean, sure, it's not quite necessary to do so, but it wouldn't hurt a lot either. Is there some rate limit?
I'd highly appreciate if you'd avoid the use of inline comments.
Would it be sufficient just to target the mDNS hostname that by default should be led-marquee-sign.local?
Please add a blank line above.
A chance to flash it while it's in the back-off? I'd appreciate a comment explaining this line.
lasereinweisung to fablab/einweisung-lasercutter