Yes, that is correct. I am using plan9port not Inferno.
------------------------------------------
9fans: 9fans
Permalink: https://9fans.topicbox.com/groups/9fans/T776880ea45b5218a-Mc911605701238ffa893df9d0
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription