Wio RP2040 mini dev board - set hostname

The board appears in my DHCP list of active devices as espressif. Is there network.config() parameter, or some other means, I can use to change the hostname?