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: