Ah, I figured I needed to prefix commands with tcpip or wifi, but no. As help tcpip shows the following, one can just enter those commands without the prefix:
*** netinfo: Get network information ***
*** defnet: Set default network interface ***
*** dhcp: DHCP client commands ***
*** dhcps: Turn DHCP server on/off ***
*** zcll: Turn ZCLL on/off ***
*** setip: Set IP address and mask ***
*** setgw: Set Gateway address ***
*** setdns: Set DNS address ***
*** setbios: Set host's NetBIOS name ***
*** setmac: Set MAC address ***
*** if: Bring an interface up/down ***
*** stack: Stack turn on/off ***
*** heapinfo: Check heap status ***
*** dhcpsinfo: Display DHCP Server Lease Details ***
*** ping: Ping an IP address ***
*** arp: ARP commands ***
*** dnsc: DNS client commands ***
*** macinfo: Check MAC statistics ***
Like: ping google.com:
Ping: resolving host: google.com
Ping: request sent to: google.com [172.217.20.78
Ping: reply from 172.217.20.78: time = 8ms
Ping: reply from 172.217.20.78: time = 7ms
Ping: reply from 172.217.20.78: time = 6ms
Ping: reply from 172.217.20.78: time = 6ms
Ping: done. Sent 4 requests, received 4 replies.
It’s a bit hard to type the command while it’s rebooting all the time, and to read the output between the regular log lines. But: might be useful indeed!