Our discussions provider has shutdown. We will bring up our own system promptly. Thanks for your patience!

In the meantime, please use the old Google Groups.