Yes it works, that's how we hand out dynamic addresses here. I rewrote the man page. Grab ftp://plan9.bell-labs.com/plan9dist/dhcpd.