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?

Seeed MicroPython revealed sometimes that the Wifi chip is an ESP8285:

>>> import forum 
Traceback (most recent call last): 
  File "<stdin>", line 1, in <module> 
  File "forum.py", line 7, in <module> 
OSError: couldn't init nic esp8285 ,try again please 

Others identified this repo as likely base for the Seeed MicroPython firmwares. This line seems to implement the set hostname command you look for: