DHCP with Manual DNS

    A "bug" in LE 13 (might be present in 12)

    settings-libreelec-connections-wired-edit-DNS servers

    You can not change the DNS settings. You first have to set ipv4-dhcp to manual (no need to save) then change DNS, and then set to dhcp again. Otherwise error message: "changing this option is not allowed"

    I'd argue the bug is not strictly adhering to the logic of using DHCP .. OR .. manual configuration, i.e. If you switch from DHCP to manual I would expect that the correct action is forcing the user to (re)define everything from scratch. That's probably an issue with our implementation of a ConnMan agent, and something to fix.