From now on, please post your questions, suggestions, contributions, etc, on the new mailing-list.
If you haven't been added to the new Google Group, please don't hesitate to subscribe to it! As we can't easily export the list of accounts from our old Tigris lists, we might have missed some of you. So please double check that you can continue the discussion with us on the new mailing-list!
Thanks a lot for your attention, and looking forward to fruitful discussions there!