I am using dnsmasq on my workstation and connecting the TV to it, so that I can have an app running locally that the TV can run.
However this means that when my workstation is not running, the TV's webOS ceases to be able to connect to any hostnames.
How do I enter more than one DNS server in the manual network settings, like any other operating system allows?