As pointed out on the 9front list: this is as it should be.

Sorry for the noise.

------------------------------------------
9fans: 9fans
Permalink: https://9fans.topicbox.com/groups/9fans/Td7a2640b58fc8d2d-Mbede6b7cf97b5ad84ce54227
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription