Whoops, I meant to send this to the plan9port-dev mailing list—sorry!