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
