We have moved away from Google Groups and are now hosting questions, answers and issues directly on GitHub.

You can see what led to this decision here in our old Google Group:

https://groups.google.com/forum/#!topic/leihs/cGCyXhfGps0

Please post any future questions or issues to GitHub Issues instead. If you find any links still pointing to the old Google Group, please let me know so I can point them at the right place.