I only have static IP addresses assigned from my ISP (i.e. they do not provide DHCP)
The (very brief) setup documentation seems to assume DHCP is available to auto-assign an IP address to what I presume is the WAN interface of the Pico.
How do I configure my new Pico to use a static IP address instead of DHCP?