Whoops, I meant to send this to the plan9port-dev mailing list—sorry! ------------------------------------------ 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/Tb7203430b1bb75f4-M839bd6147be4278edc568844 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription